Index of /pool/main/a/agda-bin/

directories: 0, files: 4

NameLast modifiedSize
../
agda-bin_2.3.0.1-1.diff.gz2019-08-30 01:42:532.94 KiB
agda-bin_2.3.0.1-1.dsc2019-08-30 01:42:531.34 KiB
agda-bin_2.3.0.1.orig.tar.gz2019-08-30 01:42:531.72 KiB
agda-bin_2.3.0.1-1_amd64.deb2019-08-30 02:12:404.68 MiB