Folder Path

/ubuntu-old-releases/ubuntu/pool/universe/a/agda-bin/

0 directories 35 files
List Grid
Name
Size Modified
Up
agda-bin_2.2.10-1~ubuntu1.diff.gz
2.8 KiB
agda-bin_2.2.10-1~ubuntu1.dsc
2.0 KiB
agda-bin_2.2.10-1~ubuntu1_amd64.deb
3.9 MiB
agda-bin_2.2.10-1~ubuntu1_i386.deb
3.7 MiB
agda-bin_2.2.10-1~ubuntu1_powerpc.deb
4.1 MiB
agda-bin_2.2.10-2.diff.gz
2.8 KiB
agda-bin_2.2.10-2.dsc
1.9 KiB
agda-bin_2.2.10-2_amd64.deb
4.0 MiB
agda-bin_2.2.10-2_i386.deb
3.8 MiB
agda-bin_2.2.10-2_powerpc.deb
4.0 MiB
agda-bin_2.2.10.orig.tar.gz
1.7 KiB
agda-bin_2.2.4-1.diff.gz
2.0 KiB
agda-bin_2.2.4-1.dsc
1.1 KiB
agda-bin_2.2.4-1_amd64.deb
2.4 MiB
agda-bin_2.2.4-1_i386.deb
2.3 MiB
agda-bin_2.2.4-1_lpia.deb
2.3 MiB
agda-bin_2.2.4-1_powerpc.deb
2.6 MiB
agda-bin_2.2.4-1_sparc.deb
3.8 MiB
agda-bin_2.2.4.orig.tar.gz
1.5 KiB
agda-bin_2.2.6-1build1.diff.gz
2.4 KiB
agda-bin_2.2.6-1build1.dsc
1.3 KiB
agda-bin_2.2.6-1build1_amd64.deb
2.7 MiB
agda-bin_2.2.6-1build1_armel.deb
4.8 MiB
agda-bin_2.2.6-1build1_i386.deb
2.6 MiB
agda-bin_2.2.6-1build1_powerpc.deb
2.9 MiB
agda-bin_2.2.6-1build1_sparc.deb
4.1 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-1_powerpc.deb
4.6 MiB
agda-bin_2.3.0.1.orig.tar.gz
1.7 KiB