Folder Path

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

0 directories 320 files
List Grid
Name
Size Modified
Up
agda-bin_2.3.2-1_amd64.deb
5.1 MiB
agda-bin_2.3.2-1_armhf.deb
7.1 MiB
agda-bin_2.3.2-1_i386.deb
4.7 MiB
agda-bin_2.3.2-1_powerpc.deb
5.0 MiB
agda-bin_2.3.2.1-1_amd64.deb
5.1 MiB
agda-bin_2.3.2.1-1_i386.deb
4.7 MiB
agda-bin_2.3.2.1-1_powerpc.deb
5.0 MiB
agda-bin_2.4.0.2-2_amd64.deb
3.7 MiB
agda-bin_2.4.0.2-2_i386.deb
3.6 MiB
agda-bin_2.4.0.2-2_powerpc.deb
3.3 MiB
agda-bin_2.4.0.2-2build1_amd64.deb
3.7 MiB
agda-bin_2.4.0.2-2build1_i386.deb
3.6 MiB
agda-bin_2.4.0.2-2build1_powerpc.deb
3.4 MiB
agda-bin_2.4.2.2-4build1_amd64.deb
4.3 MiB
agda-bin_2.4.2.2-4build1_arm64.deb
7.0 MiB
agda-bin_2.4.2.2-4build1_i386.deb
4.3 MiB
agda-bin_2.4.2.2-4build1_powerpc.deb
3.8 MiB
agda-bin_2.4.2.2-4build1_ppc64el.deb
5.9 MiB
agda-bin_2.5.1-2build2_amd64.deb
4.7 MiB
agda-bin_2.5.1-2build2_arm64.deb
7.7 MiB
agda-bin_2.5.1-2build2_armhf.deb
6.1 MiB
agda-bin_2.5.1-2build2_i386.deb
4.7 MiB
agda-bin_2.5.1-2build2_powerpc.deb
4.2 MiB
agda-bin_2.5.1-2build2_ppc64el.deb
6.5 MiB
agda-bin_2.5.1-2build2_s390x.deb
12 MiB
agda-bin_2.5.1.1-3build3_amd64.deb
4.8 MiB
agda-bin_2.5.1.1-3build3_arm64.deb
8.0 MiB
agda-bin_2.5.1.1-3build3_armhf.deb
6.4 MiB
agda-bin_2.5.1.1-3build3_i386.deb
4.8 MiB
agda-bin_2.5.1.1-3build3_ppc64el.deb
6.0 MiB
agda-bin_2.5.1.1-3build3_s390x.deb
12 MiB
agda-bin_2.5.2-2build1_amd64.deb
4.8 MiB
agda-bin_2.5.2-2build1_arm64.deb
7.7 MiB
agda-bin_2.5.2-2build1_armhf.deb
6.3 MiB
agda-bin_2.5.2-2build1_i386.deb
4.8 MiB
agda-bin_2.5.2-2build1_ppc64el.deb
5.7 MiB
agda-bin_2.5.2-2build1_s390x.deb
11 MiB
agda-bin_2.5.3-5build3_amd64.deb
5.5 MiB
agda-bin_2.5.3-5build3_arm64.deb
6.2 MiB
agda-bin_2.5.3-5build3_armhf.deb
6.0 MiB
agda-bin_2.5.3-5build3_i386.deb
5.6 MiB
agda-bin_2.5.3-5build3_ppc64el.deb
7.4 MiB
agda-bin_2.5.3-5build3_s390x.deb
13 MiB
agda-bin_2.5.4.1-3_amd64.deb
5.5 MiB
agda-bin_2.5.4.1-3_arm64.deb
6.4 MiB
agda-bin_2.5.4.1-3_i386.deb
5.6 MiB
agda-bin_2.5.4.1-3_ppc64el.deb
7.5 MiB
agda-bin_2.5.4.1-3_s390x.deb
12 MiB
agda-bin_2.6.0.1-1build2_amd64.deb
6.3 MiB
agda-bin_2.6.0.1-1build2_arm64.deb
7.4 MiB
agda-bin_2.6.0.1-1build2_i386.deb
6.3 MiB
agda-bin_2.6.0.1-1build2_ppc64el.deb
8.7 MiB
agda-bin_2.6.0.1-1build2_s390x.deb
15 MiB
agda-bin_2.6.1-1build1_amd64.deb
8.5 MiB
agda-bin_2.6.1-1build1_ppc64el.deb
12 MiB
agda-bin_2.6.1-1build1_riscv64.deb
14 MiB
agda-bin_2.6.1-1build1_s390x.deb
23 MiB
agda-bin_2.6.1-1build2.1_amd64.deb
9.1 MiB
agda-bin_2.6.1-1build2.1_ppc64el.deb
14 MiB
agda-bin_2.6.1-1build2.1_riscv64.deb
15 MiB
agda-bin_2.6.1-1build2.1_s390x.deb
28 MiB
agda-bin_2.6.1-1build2_amd64.deb
8.5 MiB
agda-bin_2.6.1-1build2_ppc64el.deb
12 MiB
agda-bin_2.6.1-1build2_riscv64.deb
14 MiB
agda-bin_2.6.1-1build2_s390x.deb
23 MiB
agda-bin_2.6.2.2-1.1build1_amd64.deb
8.0 MiB
agda-bin_2.6.2.2-1.1build1_ppc64el.deb
12 MiB
agda-bin_2.6.2.2-1.1build1_riscv64.deb
13 MiB
agda-bin_2.6.2.2-1.1build1_s390x.deb
24 MiB
agda-bin_2.6.2.2-1_amd64.deb
8.0 MiB
agda-bin_2.6.2.2-1_ppc64el.deb
12 MiB
agda-bin_2.6.2.2-1_riscv64.deb
13 MiB
agda-bin_2.6.2.2-1_s390x.deb
24 MiB
agda-mode_2.2.10-1~ubuntu1_all.deb
39 KiB
agda-mode_2.2.10-3build1_all.deb
39 KiB
agda-mode_2.2.4+dfsg-1_all.deb
36 KiB
agda-mode_2.2.6-3_all.deb
38 KiB
agda-mode_2.2.6-7build1_all.deb
39 KiB
agda-mode_2.3.0.1-1build2_all.deb
40 KiB
agda-mode_2.3.0.1-2build1_all.deb
44 KiB
agda-mode_2.3.2-1_all.deb
44 KiB
agda-mode_2.3.2.1-1_all.deb
44 KiB
agda-mode_2.4.0.2-2_all.deb
39 KiB
agda-mode_2.4.0.2-2build1_all.deb
39 KiB
agda-mode_2.4.2.2-4build1_all.deb
35 KiB
agda-mode_2.5.1-2build2_all.deb
4.2 KiB
agda-mode_2.5.1.1-3build3_all.deb
4.0 KiB
agda-mode_2.5.2-2build1_all.deb
4.0 KiB
agda-mode_2.5.3-5build3_all.deb
3.5 KiB
agda-mode_2.5.4.1-3_all.deb
3.6 KiB
agda-mode_2.6.0.1-1build2_all.deb
3.6 KiB
agda_2.2.10-1~ubuntu1.debian.tar.gz
8.2 KiB
agda_2.2.10-1~ubuntu1.dsc
3.1 KiB
agda_2.2.10-3build1.debian.tar.gz
7.5 KiB
agda_2.2.10-3build1.dsc
3.1 KiB
agda_2.2.10-3build1_all.deb
2.9 KiB
agda_2.2.10.orig.tar.gz
506 KiB
agda_2.2.4+dfsg-1.diff.gz
4.0 KiB
agda_2.2.4+dfsg-1.dsc
3.0 KiB
agda_2.2.4+dfsg.orig.tar.gz
369 KiB
agda_2.2.6-3.diff.gz
5.2 KiB
agda_2.2.6-3.dsc
2.7 KiB
agda_2.2.6-7build1.debian.tar.gz
5.2 KiB
agda_2.2.6-7build1.dsc
2.3 KiB
agda_2.2.6.orig.tar.gz
414 KiB
agda_2.3.0.1-1build2.debian.tar.gz
6.5 KiB
agda_2.3.0.1-1build2.dsc
3.0 KiB
agda_2.3.0.1-1build2_all.deb
2.9 KiB
agda_2.3.0.1-2build1.debian.tar.gz
6.8 KiB
agda_2.3.0.1-2build1.dsc
3.0 KiB
agda_2.3.0.1-2build1_all.deb
2.9 KiB
agda_2.3.0.1.orig.tar.gz
598 KiB
agda_2.3.2-1.debian.tar.gz
7.1 KiB
agda_2.3.2-1.dsc
3.3 KiB
agda_2.3.2-1_all.deb
2.9 KiB
agda_2.3.2.1-1.debian.tar.gz
7.1 KiB
agda_2.3.2.1-1.dsc
3.2 KiB
agda_2.3.2.1-1_all.deb
2.9 KiB
agda_2.3.2.1.orig.tar.gz
713 KiB
agda_2.3.2.orig.tar.gz
709 KiB
agda_2.4.0.2-2.debian.tar.xz
7.2 KiB
agda_2.4.0.2-2.dsc
3.8 KiB
agda_2.4.0.2-2_all.deb
3.0 KiB
agda_2.4.0.2-2build1.debian.tar.xz
7.2 KiB
agda_2.4.0.2-2build1.dsc
3.9 KiB
agda_2.4.0.2-2build1_all.deb
3.0 KiB
agda_2.4.0.2.orig.tar.gz
889 KiB
agda_2.4.2.2-4build1.debian.tar.xz
8.6 KiB
agda_2.4.2.2-4build1.dsc
3.6 KiB
agda_2.4.2.2-4build1_all.deb
2.9 KiB
agda_2.4.2.2.orig.tar.gz
941 KiB
agda_2.5.1-2build2.debian.tar.xz
8.7 KiB
agda_2.5.1-2build2.dsc
4.0 KiB
agda_2.5.1-2build2_all.deb
2.9 KiB
agda_2.5.1.1-3build3.debian.tar.xz
9.4 KiB
agda_2.5.1.1-3build3.dsc
4.0 KiB
agda_2.5.1.1-3build3_all.deb
2.9 KiB
agda_2.5.1.1.orig.tar.gz
1.1 MiB
agda_2.5.1.orig.tar.gz
1.1 MiB
agda_2.5.2-2build1.debian.tar.xz
8.9 KiB
agda_2.5.2-2build1.dsc
4.0 KiB
agda_2.5.2-2build1_all.deb
2.9 KiB
agda_2.5.2.orig.tar.gz
1.2 MiB
agda_2.5.3-5build3.debian.tar.xz
9.9 KiB
agda_2.5.3-5build3.dsc
4.4 KiB
agda_2.5.3-5build3_all.deb
3.0 KiB
agda_2.5.3.orig.tar.gz
1.1 MiB
agda_2.5.4.1-3.debian.tar.xz
9.7 KiB
agda_2.5.4.1-3.dsc
3.8 KiB
agda_2.5.4.1-3_all.deb
4.0 KiB
agda_2.5.4.1.orig.tar.gz
1.9 MiB
agda_2.6.0.1-1build2.debian.tar.xz
9.9 KiB
agda_2.6.0.1-1build2.dsc
4.2 KiB
agda_2.6.0.1-1build2_all.deb
4.0 KiB
agda_2.6.0.1.orig.tar.gz
2.3 MiB
agda_2.6.1-1build1.debian.tar.xz
9.9 KiB
agda_2.6.1-1build1.dsc
4.2 KiB
agda_2.6.1-1build1_all.deb
4.1 KiB
agda_2.6.1-1build2.1.debian.tar.xz
10 KiB
agda_2.6.1-1build2.1.dsc
4.2 KiB
agda_2.6.1-1build2.1_all.deb
4.0 KiB
agda_2.6.1-1build2.debian.tar.xz
9.9 KiB
agda_2.6.1-1build2.dsc
4.2 KiB
agda_2.6.1-1build2_all.deb
4.1 KiB
agda_2.6.1.orig.tar.gz
2.5 MiB
agda_2.6.2.2-1.1build1.debian.tar.xz
10 KiB
agda_2.6.2.2-1.1build1.dsc
4.3 KiB
agda_2.6.2.2-1.1build1_all.deb
3.6 KiB
agda_2.6.2.2-1.debian.tar.xz
10 KiB
agda_2.6.2.2-1.dsc
4.3 KiB
agda_2.6.2.2-1_all.deb
4.0 KiB
agda_2.6.2.2.orig.tar.gz
1.6 MiB
elpa-agda2-mode_2.5.1-2build2_all.deb
39 KiB
elpa-agda2-mode_2.5.1.1-3build3_all.deb
39 KiB
elpa-agda2-mode_2.5.2-2build1_all.deb
40 KiB
elpa-agda2-mode_2.5.3-5build3_all.deb
40 KiB
elpa-agda2-mode_2.5.4.1-3_all.deb
40 KiB
elpa-agda2-mode_2.6.0.1-1build2_all.deb
41 KiB
elpa-agda2-mode_2.6.1-1build1_all.deb
41 KiB
elpa-agda2-mode_2.6.1-1build2.1_all.deb
45 KiB
elpa-agda2-mode_2.6.1-1build2_all.deb
41 KiB
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb
44 KiB
elpa-agda2-mode_2.6.2.2-1_all.deb
45 KiB
haskell-agda-doc_2.2.4+dfsg-1_all.deb
948 KiB
haskell-agda-doc_2.2.6-3_all.deb
1.0 MiB
libghc-agda-dev_2.2.10-3build1_amd64.deb
10 MiB
libghc-agda-dev_2.2.10-3build1_i386.deb
9.7 MiB
libghc-agda-dev_2.2.10-3build1_powerpc.deb
13 MiB
libghc-agda-dev_2.3.0.1-1build2_amd64.deb
12 MiB
libghc-agda-dev_2.3.0.1-1build2_armel.deb
18 MiB
libghc-agda-dev_2.3.0.1-1build2_armhf.deb
18 MiB
libghc-agda-dev_2.3.0.1-1build2_i386.deb
12 MiB
libghc-agda-dev_2.3.0.1-1build2_powerpc.deb
16 MiB
libghc-agda-dev_2.3.0.1-2build1_amd64.deb
13 MiB
libghc-agda-dev_2.3.0.1-2build1_armel.deb
17 MiB
libghc-agda-dev_2.3.0.1-2build1_armhf.deb
18 MiB
libghc-agda-dev_2.3.0.1-2build1_i386.deb
12 MiB
libghc-agda-dev_2.3.0.1-2build1_powerpc.deb
16 MiB
libghc-agda-dev_2.3.2-1_amd64.deb
13 MiB
libghc-agda-dev_2.3.2-1_armhf.deb
18 MiB
libghc-agda-dev_2.3.2-1_i386.deb
12 MiB
libghc-agda-dev_2.3.2-1_powerpc.deb
15 MiB
libghc-agda-dev_2.3.2.1-1_amd64.deb
13 MiB
libghc-agda-dev_2.3.2.1-1_i386.deb
12 MiB
libghc-agda-dev_2.3.2.1-1_powerpc.deb
15 MiB
libghc-agda-dev_2.4.0.2-2_amd64.deb
9.3 MiB
libghc-agda-dev_2.4.0.2-2_i386.deb
9.2 MiB
libghc-agda-dev_2.4.0.2-2_powerpc.deb
9.1 MiB
libghc-agda-dev_2.4.0.2-2build1_amd64.deb
9.3 MiB
libghc-agda-dev_2.4.0.2-2build1_i386.deb
9.2 MiB
libghc-agda-dev_2.4.0.2-2build1_powerpc.deb
9.1 MiB
libghc-agda-dev_2.4.2.2-4build1_amd64.deb
10 MiB
libghc-agda-dev_2.4.2.2-4build1_arm64.deb
16 MiB
libghc-agda-dev_2.4.2.2-4build1_i386.deb
10 MiB
libghc-agda-dev_2.4.2.2-4build1_powerpc.deb
6.3 MiB
libghc-agda-dev_2.4.2.2-4build1_ppc64el.deb
16 MiB
libghc-agda-dev_2.5.1-2build2_amd64.deb
12 MiB
libghc-agda-dev_2.5.1-2build2_arm64.deb
18 MiB
libghc-agda-dev_2.5.1-2build2_armhf.deb
15 MiB
libghc-agda-dev_2.5.1-2build2_i386.deb
11 MiB
libghc-agda-dev_2.5.1-2build2_powerpc.deb
11 MiB
libghc-agda-dev_2.5.1-2build2_ppc64el.deb
18 MiB
libghc-agda-dev_2.5.1-2build2_s390x.deb
18 MiB
libghc-agda-dev_2.5.1.1-3build3_amd64.deb
12 MiB
libghc-agda-dev_2.5.1.1-3build3_arm64.deb
19 MiB
libghc-agda-dev_2.5.1.1-3build3_armhf.deb
15 MiB
libghc-agda-dev_2.5.1.1-3build3_i386.deb
12 MiB
libghc-agda-dev_2.5.1.1-3build3_ppc64el.deb
17 MiB
libghc-agda-dev_2.5.1.1-3build3_s390x.deb
19 MiB
libghc-agda-dev_2.5.2-2build1_amd64.deb
13 MiB
libghc-agda-dev_2.5.2-2build1_arm64.deb
19 MiB
libghc-agda-dev_2.5.2-2build1_armhf.deb
16 MiB
libghc-agda-dev_2.5.2-2build1_i386.deb
12 MiB
libghc-agda-dev_2.5.2-2build1_ppc64el.deb
17 MiB
libghc-agda-dev_2.5.2-2build1_s390x.deb
20 MiB
libghc-agda-dev_2.5.3-5build3_amd64.deb
15 MiB
libghc-agda-dev_2.5.3-5build3_arm64.deb
18 MiB
libghc-agda-dev_2.5.3-5build3_armhf.deb
18 MiB
libghc-agda-dev_2.5.3-5build3_i386.deb
15 MiB
libghc-agda-dev_2.5.3-5build3_ppc64el.deb
22 MiB
libghc-agda-dev_2.5.3-5build3_s390x.deb
24 MiB
libghc-agda-dev_2.5.4.1-3_amd64.deb
16 MiB
libghc-agda-dev_2.5.4.1-3_arm64.deb
19 MiB
libghc-agda-dev_2.5.4.1-3_i386.deb
16 MiB
libghc-agda-dev_2.5.4.1-3_ppc64el.deb
23 MiB
libghc-agda-dev_2.5.4.1-3_s390x.deb
24 MiB
libghc-agda-dev_2.6.0.1-1build2_amd64.deb
19 MiB
libghc-agda-dev_2.6.0.1-1build2_arm64.deb
22 MiB
libghc-agda-dev_2.6.0.1-1build2_i386.deb
18 MiB
libghc-agda-dev_2.6.0.1-1build2_ppc64el.deb
28 MiB
libghc-agda-dev_2.6.0.1-1build2_s390x.deb
29 MiB
libghc-agda-dev_2.6.1-1build1_amd64.deb
36 MiB
libghc-agda-dev_2.6.1-1build1_ppc64el.deb
53 MiB
libghc-agda-dev_2.6.1-1build1_riscv64.deb
74 MiB
libghc-agda-dev_2.6.1-1build1_s390x.deb
55 MiB
libghc-agda-dev_2.6.1-1build2.1_amd64.deb
38 MiB
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb
63 MiB
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb
90 MiB
libghc-agda-dev_2.6.1-1build2.1_s390x.deb
66 MiB
libghc-agda-dev_2.6.1-1build2_amd64.deb
36 MiB
libghc-agda-dev_2.6.1-1build2_ppc64el.deb
53 MiB
libghc-agda-dev_2.6.1-1build2_riscv64.deb
74 MiB
libghc-agda-dev_2.6.1-1build2_s390x.deb
55 MiB
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb
26 MiB
libghc-agda-dev_2.6.2.2-1.1build1_ppc64el.deb
41 MiB
libghc-agda-dev_2.6.2.2-1.1build1_riscv64.deb
60 MiB
libghc-agda-dev_2.6.2.2-1.1build1_s390x.deb
45 MiB
libghc-agda-dev_2.6.2.2-1_amd64.deb
26 MiB
libghc-agda-dev_2.6.2.2-1_ppc64el.deb
41 MiB
libghc-agda-dev_2.6.2.2-1_riscv64.deb
60 MiB
libghc-agda-dev_2.6.2.2-1_s390x.deb
45 MiB
libghc-agda-doc_2.2.10-3build1_all.deb
1.4 MiB
libghc-agda-doc_2.3.0.1-1build2_all.deb
1.6 MiB
libghc-agda-doc_2.3.0.1-2build1_all.deb
1.7 MiB
libghc-agda-doc_2.3.2-1_all.deb
2.1 MiB
libghc-agda-doc_2.3.2.1-1_all.deb
2.1 MiB
libghc-agda-doc_2.4.0.2-2_all.deb
1.8 MiB
libghc-agda-doc_2.4.0.2-2build1_all.deb
1.8 MiB
libghc-agda-doc_2.4.2.2-4build1_all.deb
1.9 MiB
libghc-agda-doc_2.5.1-2build2_all.deb
2.3 MiB
libghc-agda-doc_2.5.1.1-3build3_all.deb
2.4 MiB
libghc-agda-doc_2.5.2-2build1_all.deb
2.5 MiB
libghc-agda-doc_2.5.3-5build3_all.deb
2.5 MiB
libghc-agda-doc_2.5.4.1-3_all.deb
3.5 MiB
libghc-agda-doc_2.6.0.1-1build2_all.deb
4.0 MiB
libghc-agda-doc_2.6.1-1build1_all.deb
5.5 MiB
libghc-agda-doc_2.6.1-1build2.1_all.deb
5.2 MiB
libghc-agda-doc_2.6.1-1build2_all.deb
5.5 MiB
libghc-agda-doc_2.6.2.2-1.1build1_all.deb
5.7 MiB
libghc-agda-doc_2.6.2.2-1_all.deb
5.7 MiB
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb
11 MiB
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb
10 MiB
libghc6-agda-dev_2.2.10-1~ubuntu1_powerpc.deb
14 MiB
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
8.3 MiB
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb
7.9 MiB
libghc6-agda-dev_2.2.4+dfsg-1_lpia.deb
7.9 MiB
libghc6-agda-dev_2.2.4+dfsg-1_powerpc.deb
11 MiB
libghc6-agda-dev_2.2.4+dfsg-1_sparc.deb
14 MiB
libghc6-agda-dev_2.2.6-3_amd64.deb
9.6 MiB
libghc6-agda-dev_2.2.6-3_armel.deb
16 MiB
libghc6-agda-dev_2.2.6-3_i386.deb
9.1 MiB
libghc6-agda-dev_2.2.6-3_powerpc.deb
13 MiB
libghc6-agda-dev_2.2.6-3_sparc.deb
17 MiB
libghc6-agda-dev_2.2.6-7build1_amd64.deb
9.6 MiB
libghc6-agda-dev_2.2.6-7build1_armel.deb
16 MiB
libghc6-agda-dev_2.2.6-7build1_i386.deb
9.1 MiB
libghc6-agda-dev_2.2.6-7build1_powerpc.deb
13 MiB
libghc6-agda-dev_2.2.6-7build2_armel.deb
17 MiB
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb
1.2 MiB
libghc6-agda-doc_2.2.6-7build1_all.deb
1.0 MiB
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
13 MiB
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb
12 MiB
libghc6-agda-prof_2.2.4+dfsg-1_lpia.deb
12 MiB
libghc6-agda-prof_2.2.4+dfsg-1_powerpc.deb
18 MiB
libghc6-agda-prof_2.2.4+dfsg-1_sparc.deb
19 MiB
libghc6-agda-prof_2.2.6-3_amd64.deb
14 MiB
libghc6-agda-prof_2.2.6-3_armel.deb
20 MiB
libghc6-agda-prof_2.2.6-3_i386.deb
13 MiB
libghc6-agda-prof_2.2.6-3_powerpc.deb
20 MiB
libghc6-agda-prof_2.2.6-3_sparc.deb
21 MiB