Folder Path

/debian-archive/pool/main/a/agda-bin/

0 directories 13 files 34 MiB total
List Grid
Name
Size Modified
Up
agda-bin_2.2.6-1+b1_amd64.deb
2.7 MiB
agda-bin_2.2.6-1+b1_i386.deb
2.6 MiB
agda-bin_2.2.6-1.diff.gz
2.4 KiB
agda-bin_2.2.6-1.dsc
1.3 KiB
agda-bin_2.2.6-1_armel.deb
5.4 MiB
agda-bin_2.2.6.orig.tar.gz
1.6 KiB
agda-bin_2.3.0.1-1.diff.gz
2.9 KiB
agda-bin_2.3.0.1-1.dsc
1.3 KiB
agda-bin_2.3.0.1-1_amd64.deb
4.7 MiB
agda-bin_2.3.0.1-1_armel.deb
6.9 MiB
agda-bin_2.3.0.1-1_armhf.deb
6.9 MiB
agda-bin_2.3.0.1-1_i386.deb
4.4 MiB
agda-bin_2.3.0.1.orig.tar.gz
1.7 KiB