Skip to main content

Files for linuxbrew-agda

Name Last modified Size
Go to parent directory
agda-2.5.2.x86_64_linux.bottle.tar.gz 07-Apr-2021 14:58 29.9M
agda-2.5.2_1.x86_64_linux.bottle.tar.gz 07-Apr-2021 14:58 29.9M
agda- 07-Apr-2021 14:58 76.4M
agda- 07-Apr-2021 14:59 89.2M
agda- 07-Apr-2021 14:59 44.8M
agda- 07-Apr-2021 14:59 44.8M
agda-2.5.4.x86_64_linux.bottle.tar.gz 07-Apr-2021 14:59 69.2M
agda- 07-Apr-2021 14:59 61.9M
agda- 07-Apr-2021 14:59 69.4M
agda-2.6.0_1.x86_64_linux.bottle.tar.gz 07-Apr-2021 14:59 61.9M
linuxbrew-agda_archive.torrent 07-Apr-2021 16:48 25.9K
linuxbrew-agda_files.xml 07-Apr-2021 16:48 4.1K
linuxbrew-agda_meta.sqlite 07-Apr-2021 14:59 36.0K
linuxbrew-agda_meta.xml 07-Apr-2021 16:48 499.0B