Folder Path

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

0 directories 642 files
List Grid
Name
Size Modified
Up
acl2-books-certs_2.9-2_all.deb
290 KiB
acl2-books-certs_2.9.3-5build1_all.deb
367 KiB
acl2-books-certs_2.9.3-7_all.deb
367 KiB
acl2-books-certs_3.0-1_all.deb
665 KiB
acl2-books-certs_3.1-1_all.deb
4.7 MiB
acl2-books-certs_3.3-1.1_all.deb
1.2 MiB
acl2-books-certs_3.4-1_all.deb
1.2 MiB
acl2-books-certs_3.4-2_all.deb
1.2 MiB
acl2-books-certs_3.6-4_all.deb
1.9 MiB
acl2-books-certs_4.0-3_all.deb
1.9 MiB
acl2-books-certs_4.1-5_all.deb
1.9 MiB
acl2-books-certs_4.2-1_all.deb
1.9 MiB
acl2-books-certs_4.3-3_all.deb
4.2 MiB
acl2-books-certs_6.0-2_all.deb
4.9 MiB
acl2-books-certs_6.2-6_all.deb
9.7 MiB
acl2-books-certs_6.4-4_all.deb
4.0 MiB
acl2-books-certs_7.0-1_all.deb
66 MiB
acl2-books-certs_7.1-1_all.deb
13 MiB
acl2-books-certs_7.2dfsg-2_all.deb
52 MiB
acl2-books-certs_8.0dfsg-1_all.deb
70 MiB
acl2-books-certs_8.0dfsg-1build1_all.deb
70 MiB
acl2-books-certs_8.1dfsg-3_all.deb
77 MiB
acl2-books-certs_8.3dfsg-1_all.deb
5.7 KiB
acl2-books-certs_8.3dfsg-2_all.deb
138 MiB
acl2-books-certs_8.5dfsg-1_all.deb
220 MiB
acl2-books-certs_8.5dfsg-5_all.deb
216 MiB
acl2-books-source_2.9-2_all.deb
1.2 MiB
acl2-books-source_2.9.3-5build1_all.deb
1.2 MiB
acl2-books-source_2.9.3-7_all.deb
1.2 MiB
acl2-books-source_3.0-1_all.deb
1.6 MiB
acl2-books-source_3.1-1_all.deb
2.1 MiB
acl2-books-source_3.3-1.1_all.deb
2.3 MiB
acl2-books-source_3.4-1_all.deb
2.7 MiB
acl2-books-source_3.4-2_all.deb
2.7 MiB
acl2-books-source_3.6-4_all.deb
4.7 MiB
acl2-books-source_4.0-3_all.deb
4.8 MiB
acl2-books-source_4.1-5_all.deb
4.9 MiB
acl2-books-source_4.2-1_all.deb
4.9 MiB
acl2-books-source_4.3-3_all.deb
6.2 MiB
acl2-books-source_6.0-2_all.deb
7.5 MiB
acl2-books-source_6.2-6_all.deb
7.3 MiB
acl2-books-source_6.4-4_all.deb
6.2 MiB
acl2-books-source_7.0-1_all.deb
8.4 MiB
acl2-books-source_7.1-1_all.deb
9.9 MiB
acl2-books-source_7.2dfsg-2_all.deb
11 MiB
acl2-books-source_8.0dfsg-1_all.deb
12 MiB
acl2-books-source_8.0dfsg-1build1_all.deb
12 MiB
acl2-books-source_8.1dfsg-3_all.deb
13 MiB
acl2-books-source_8.3dfsg-1_all.deb
19 MiB
acl2-books-source_8.3dfsg-2_all.deb
19 MiB
acl2-books-source_8.5dfsg-1_all.deb
23 MiB
acl2-books-source_8.5dfsg-5_all.deb
23 MiB
acl2-books_2.8-4_amd64.deb
1.1 MiB
acl2-books_2.8-4_i386.deb
855 KiB
acl2-books_2.9-2_amd64.deb
1.0 MiB
acl2-books_2.9-2_i386.deb
814 KiB
acl2-books_2.9-2_ia64.deb
1.4 MiB
acl2-books_2.9-2_powerpc.deb
1.2 MiB
acl2-books_2.9.3-5build1_hppa.deb
3.5 MiB
acl2-books_2.9.3-5build1_i386.deb
813 KiB
acl2-books_2.9.3-5build1_ia64.deb
1.5 MiB
acl2-books_2.9.3-7_amd64.deb
1.1 MiB
acl2-books_2.9.3-7_i386.deb
813 KiB
acl2-books_2.9.3-7_ia64.deb
1.5 MiB
acl2-books_2.9.3-7_powerpc.deb
1.2 MiB
acl2-books_2.9.3-7_sparc.deb
975 KiB
acl2-books_3.0-1_amd64.deb
1.6 MiB
acl2-books_3.0-1_i386.deb
1.1 MiB
acl2-books_3.0-1_sparc.deb
1.4 MiB
acl2-books_3.1-1_amd64.deb
2.0 MiB
acl2-books_3.1-1_i386.deb
1.5 MiB
acl2-books_3.1-1_ia64.deb
2.8 MiB
acl2-books_3.1-1_powerpc.deb
2.2 MiB
acl2-books_3.1-1_sparc.deb
1.8 MiB
acl2-books_3.3-1.1_amd64.deb
21 MiB
acl2-books_3.3-1.1_hppa.deb
28 MiB
acl2-books_3.3-1.1_i386.deb
18 MiB
acl2-books_3.3-1.1_ia64.deb
23 MiB
acl2-books_3.3-1.1_lpia.deb
21 MiB
acl2-books_3.3-1.1_powerpc.deb
24 MiB
acl2-books_3.3-1.1_sparc.deb
19 MiB
acl2-books_3.3-1ubuntu1_amd64.deb
6.1 MiB
acl2-books_3.3-1ubuntu1_hppa.deb
18 MiB
acl2-books_3.3-1ubuntu1_ia64.deb
8.6 MiB
acl2-books_3.3-1ubuntu1_lpia.deb
4.4 MiB
acl2-books_3.3-1ubuntu1_powerpc.deb
6.0 MiB
acl2-books_3.3-1ubuntu1_sparc.deb
5.7 MiB
acl2-books_3.4-1_amd64.deb
24 MiB
acl2-books_3.4-1_hppa.deb
31 MiB
acl2-books_3.4-1_i386.deb
20 MiB
acl2-books_3.4-1_ia64.deb
25 MiB
acl2-books_3.4-1_lpia.deb
24 MiB
acl2-books_3.4-1_powerpc.deb
27 MiB
acl2-books_3.4-1_sparc.deb
22 MiB
acl2-books_3.4-2_amd64.deb
24 MiB
acl2-books_3.4-2_i386.deb
20 MiB
acl2-books_3.4-2_ia64.deb
26 MiB
acl2-books_3.4-2_lpia.deb
20 MiB
acl2-books_3.4-2_powerpc.deb
27 MiB
acl2-books_3.4-2_sparc.deb
22 MiB
acl2-books_3.6-4_amd64.deb
33 MiB
acl2-books_3.6-4_i386.deb
29 MiB
acl2-books_3.6-4_powerpc.deb
38 MiB
acl2-books_3.6-4_sparc.deb
31 MiB
acl2-books_4.0-3_amd64.deb
37 MiB
acl2-books_4.0-3_i386.deb
32 MiB
acl2-books_4.0-3_powerpc.deb
42 MiB
acl2-books_4.1-5_amd64.deb
39 MiB
acl2-books_4.1-5_i386.deb
34 MiB
acl2-books_4.1-5_powerpc.deb
45 MiB
acl2-books_4.2-1_amd64.deb
39 MiB
acl2-books_4.2-1_armel.deb
34 MiB
acl2-books_4.2-1_armhf.deb
33 MiB
acl2-books_4.2-1_i386.deb
34 MiB
acl2-books_4.2-1_powerpc.deb
45 MiB
acl2-books_4.3-3_amd64.deb
15 MiB
acl2-books_4.3-3_armel.deb
38 MiB
acl2-books_4.3-3_armhf.deb
39 MiB
acl2-books_4.3-3_i386.deb
13 MiB
acl2-books_4.3-3_powerpc.deb
15 MiB
acl2-books_6.0-2_amd64.deb
18 MiB
acl2-books_6.0-2_i386.deb
16 MiB
acl2-books_6.0-2_powerpc.deb
18 MiB
acl2-books_6.2-6_amd64.deb
34 MiB
acl2-books_6.2-6_armhf.deb
88 MiB
acl2-books_6.2-6_i386.deb
30 MiB
acl2-books_6.2-6_powerpc.deb
32 MiB
acl2-books_6.4-4_amd64.deb
19 MiB
acl2-books_6.4-4_arm64.deb
20 MiB
acl2-books_6.4-4_armhf.deb
54 MiB
acl2-books_6.4-4_i386.deb
17 MiB
acl2-books_6.4-4_powerpc.deb
16 MiB
acl2-books_7.0-1_amd64.deb
24 MiB
acl2-books_7.0-1_arm64.deb
24 MiB
acl2-books_7.0-1_armhf.deb
76 MiB
acl2-books_7.0-1_i386.deb
23 MiB
acl2-books_7.0-1_powerpc.deb
20 MiB
acl2-books_7.1-1_amd64.deb
19 MiB
acl2-books_7.1-1_arm64.deb
19 MiB
acl2-books_7.1-1_armhf.deb
60 MiB
acl2-books_7.1-1_i386.deb
18 MiB
acl2-books_7.1-1_powerpc.deb
15 MiB
acl2-books_7.2dfsg-2_amd64.deb
102 MiB
acl2-books_7.2dfsg-2_arm64.deb
104 MiB
acl2-books_7.2dfsg-2_armhf.deb
87 MiB
acl2-books_7.2dfsg-2_i386.deb
88 MiB
acl2-books_7.2dfsg-2_powerpc.deb
66 MiB
acl2-books_7.2dfsg-2_s390x.deb
102 MiB
acl2-books_8.0dfsg-1_amd64.deb
132 MiB
acl2-books_8.0dfsg-1_arm64.deb
135 MiB
acl2-books_8.0dfsg-1_armhf.deb
116 MiB
acl2-books_8.0dfsg-1_i386.deb
114 MiB
acl2-books_8.0dfsg-1_ppc64el.deb
135 MiB
acl2-books_8.0dfsg-1_s390x.deb
122 MiB
acl2-books_8.0dfsg-1build1_amd64.deb
145 MiB
acl2-books_8.0dfsg-1build1_arm64.deb
142 MiB
acl2-books_8.0dfsg-1build1_armhf.deb
133 MiB
acl2-books_8.0dfsg-1build1_i386.deb
127 MiB
acl2-books_8.0dfsg-1build1_s390x.deb
132 MiB
acl2-books_8.1dfsg-3_amd64.deb
156 MiB
acl2-books_8.1dfsg-3_arm64.deb
153 MiB
acl2-books_8.1dfsg-3_armhf.deb
141 MiB
acl2-books_8.1dfsg-3_i386.deb
139 MiB
acl2-books_8.1dfsg-3_ppc64el.deb
156 MiB
acl2-books_8.1dfsg-3_s390x.deb
143 MiB
acl2-books_8.3dfsg-1_amd64.deb
4.2 KiB
acl2-books_8.3dfsg-1_arm64.deb
4.2 KiB
acl2-books_8.3dfsg-1_armhf.deb
4.2 KiB
acl2-books_8.3dfsg-1_ppc64el.deb
4.2 KiB
acl2-books_8.3dfsg-1_s390x.deb
4.2 KiB
acl2-books_8.3dfsg-2_amd64.deb
241 MiB
acl2-books_8.3dfsg-2_arm64.deb
232 MiB
acl2-books_8.3dfsg-2_armhf.deb
220 MiB
acl2-books_8.3dfsg-2_ppc64el.deb
230 MiB
acl2-books_8.3dfsg-2_s390x.deb
231 MiB
acl2-books_8.5dfsg-1_amd64.deb
335 MiB
acl2-books_8.5dfsg-1_arm64.deb
334 MiB
acl2-books_8.5dfsg-1_armhf.deb
316 MiB
acl2-books_8.5dfsg-1_ppc64el.deb
354 MiB
acl2-books_8.5dfsg-1_s390x.deb
320 MiB
acl2-books_8.5dfsg-5_amd64.deb
329 MiB
acl2-books_8.5dfsg-5_arm64.deb
336 MiB
acl2-books_8.5dfsg-5_armhf.deb
316 MiB
acl2-books_8.5dfsg-5_ppc64el.deb
347 MiB
acl2-books_8.5dfsg-5_riscv64.deb
935 MiB
acl2-books_8.5dfsg-5_s390x.deb
314 MiB
acl2-doc_2.9-2_all.deb
1.7 MiB
acl2-doc_2.9.3-5build1_all.deb
1.8 MiB
acl2-doc_2.9.3-7_all.deb
1.8 MiB
acl2-doc_3.0-1_all.deb
1.9 MiB
acl2-doc_3.1-1_all.deb
1.9 MiB
acl2-doc_3.3-1.1_all.deb
2.1 MiB
acl2-doc_3.4-1_all.deb
2.2 MiB
acl2-doc_3.4-2_all.deb
2.2 MiB
acl2-doc_3.6-4_all.deb
2.3 MiB
acl2-doc_4.0-3_all.deb
2.6 MiB
acl2-doc_4.1-5_all.deb
2.6 MiB
acl2-doc_4.2-1_all.deb
264 KiB
acl2-doc_4.3-3_all.deb
348 KiB
acl2-doc_6.0-2_all.deb
7.2 MiB
acl2-doc_6.2-6_all.deb
7.5 MiB
acl2-doc_6.4-4_all.deb
1.6 MiB
acl2-doc_7.0-1_all.deb
331 KiB
acl2-doc_7.1-1_all.deb
353 KiB
acl2-doc_7.2dfsg-2_all.deb
366 KiB
acl2-doc_8.0dfsg-1_all.deb
385 KiB
acl2-doc_8.0dfsg-1build1_all.deb
385 KiB
acl2-doc_8.1dfsg-3_all.deb
396 KiB
acl2-doc_8.3dfsg-1_all.deb
429 KiB
acl2-doc_8.3dfsg-2_all.deb
429 KiB
acl2-doc_8.5dfsg-1_all.deb
473 KiB
acl2-doc_8.5dfsg-5_all.deb
473 KiB
acl2-emacs_2.9-2_all.deb
48 KiB
acl2-emacs_2.9.3-5build1_all.deb
48 KiB
acl2-emacs_2.9.3-7_all.deb
48 KiB
acl2-emacs_3.0-1_all.deb
49 KiB
acl2-emacs_3.1-1_all.deb
49 KiB
acl2-emacs_3.3-1.1_all.deb
53 KiB
acl2-emacs_3.4-1_all.deb
54 KiB
acl2-emacs_3.4-2_all.deb
54 KiB
acl2-emacs_3.6-4_all.deb
56 KiB
acl2-emacs_4.0-3_all.deb
56 KiB
acl2-emacs_4.1-5_all.deb
50 KiB
acl2-emacs_4.2-1_all.deb
52 KiB
acl2-emacs_4.3-3_all.deb
53 KiB
acl2-emacs_6.0-2_all.deb
54 KiB
acl2-emacs_6.2-6_all.deb
53 KiB
acl2-emacs_6.4-4_all.deb
53 KiB
acl2-emacs_7.0-1_all.deb
54 KiB
acl2-emacs_7.1-1_all.deb
55 KiB
acl2-emacs_7.2dfsg-2_all.deb
56 KiB
acl2-emacs_8.0dfsg-1_all.deb
59 KiB
acl2-emacs_8.0dfsg-1build1_all.deb
59 KiB
acl2-emacs_8.1dfsg-3_all.deb
59 KiB
acl2-emacs_8.3dfsg-1_all.deb
60 KiB
acl2-emacs_8.3dfsg-2_all.deb
60 KiB
acl2-infix-source_2.9-2_all.deb
82 KiB
acl2-infix-source_2.9.3-5build1_all.deb
83 KiB
acl2-infix-source_2.9.3-7_all.deb
83 KiB
acl2-infix-source_3.0-1_all.deb
83 KiB
acl2-infix-source_3.1-1_all.deb
83 KiB
acl2-infix-source_3.3-1.1_all.deb
84 KiB
acl2-infix-source_3.4-1_all.deb
84 KiB
acl2-infix-source_3.4-2_all.deb
84 KiB
acl2-infix-source_3.6-4_all.deb
84 KiB
acl2-infix-source_4.0-3_all.deb
85 KiB
acl2-infix-source_4.1-5_all.deb
78 KiB
acl2-infix-source_4.2-1_all.deb
80 KiB
acl2-infix-source_4.3-3_all.deb
86 KiB
acl2-infix-source_6.0-2_all.deb
87 KiB
acl2-infix-source_6.2-6_all.deb
86 KiB
acl2-infix-source_6.4-4_all.deb
70 KiB
acl2-infix-source_7.0-1_all.deb
72 KiB
acl2-infix-source_7.1-1_all.deb
70 KiB
acl2-infix-source_7.2dfsg-2_all.deb
71 KiB
acl2-infix-source_8.0dfsg-1_all.deb
70 KiB
acl2-infix-source_8.0dfsg-1build1_all.deb
70 KiB
acl2-infix-source_8.1dfsg-3_all.deb
70 KiB
acl2-infix-source_8.3dfsg-1_all.deb
70 KiB
acl2-infix-source_8.3dfsg-2_all.deb
70 KiB
acl2-infix-source_8.5dfsg-1_all.deb
72 KiB
acl2-infix-source_8.5dfsg-5_all.deb
72 KiB
acl2-infix_2.8-4_amd64.deb
210 KiB
acl2-infix_2.8-4_i386.deb
174 KiB
acl2-infix_2.9-2_amd64.deb
210 KiB
acl2-infix_2.9-2_i386.deb
177 KiB
acl2-infix_2.9-2_ia64.deb
344 KiB
acl2-infix_2.9-2_powerpc.deb
308 KiB
acl2-infix_2.9.3-5build1_hppa.deb
378 KiB
acl2-infix_2.9.3-5build1_i386.deb
165 KiB
acl2-infix_2.9.3-5build1_ia64.deb
292 KiB
acl2-infix_2.9.3-7_amd64.deb
198 KiB
acl2-infix_2.9.3-7_i386.deb
165 KiB
acl2-infix_2.9.3-7_ia64.deb
292 KiB
acl2-infix_2.9.3-7_powerpc.deb
240 KiB
acl2-infix_2.9.3-7_sparc.deb
217 KiB
acl2-infix_3.0-1_amd64.deb
196 KiB
acl2-infix_3.0-1_i386.deb
162 KiB
acl2-infix_3.0-1_sparc.deb
219 KiB
acl2-infix_3.1-1_amd64.deb
194 KiB
acl2-infix_3.1-1_i386.deb
166 KiB
acl2-infix_3.1-1_ia64.deb
297 KiB
acl2-infix_3.1-1_powerpc.deb
243 KiB
acl2-infix_3.1-1_sparc.deb
218 KiB
acl2-infix_3.3-1.1_amd64.deb
432 KiB
acl2-infix_3.3-1.1_hppa.deb
591 KiB
acl2-infix_3.3-1.1_i386.deb
388 KiB
acl2-infix_3.3-1.1_ia64.deb
548 KiB
acl2-infix_3.3-1.1_lpia.deb
455 KiB
acl2-infix_3.3-1.1_powerpc.deb
505 KiB
acl2-infix_3.3-1.1_sparc.deb
424 KiB
acl2-infix_3.3-1ubuntu1_amd64.deb
195 KiB
acl2-infix_3.3-1ubuntu1_hppa.deb
408 KiB
acl2-infix_3.3-1ubuntu1_ia64.deb
295 KiB
acl2-infix_3.3-1ubuntu1_lpia.deb
171 KiB
acl2-infix_3.3-1ubuntu1_powerpc.deb
223 KiB
acl2-infix_3.3-1ubuntu1_sparc.deb
213 KiB
acl2-infix_3.4-1_amd64.deb
432 KiB
acl2-infix_3.4-1_hppa.deb
586 KiB
acl2-infix_3.4-1_i386.deb
389 KiB
acl2-infix_3.4-1_ia64.deb
542 KiB
acl2-infix_3.4-1_lpia.deb
456 KiB
acl2-infix_3.4-1_powerpc.deb
505 KiB
acl2-infix_3.4-1_sparc.deb
424 KiB
acl2-infix_3.4-2_amd64.deb
408 KiB
acl2-infix_3.4-2_i386.deb
375 KiB
acl2-infix_3.4-2_ia64.deb
562 KiB
acl2-infix_3.4-2_lpia.deb
341 KiB
acl2-infix_3.4-2_powerpc.deb
502 KiB
acl2-infix_3.4-2_sparc.deb
424 KiB
acl2-infix_3.6-4_amd64.deb
421 KiB
acl2-infix_3.6-4_i386.deb
380 KiB
acl2-infix_3.6-4_powerpc.deb
511 KiB
acl2-infix_3.6-4_sparc.deb
442 KiB
acl2-infix_4.0-3_amd64.deb
421 KiB
acl2-infix_4.0-3_i386.deb
380 KiB
acl2-infix_4.0-3_powerpc.deb
511 KiB
acl2-infix_4.1-5_amd64.deb
441 KiB
acl2-infix_4.1-5_i386.deb
403 KiB
acl2-infix_4.1-5_powerpc.deb
535 KiB
acl2-infix_4.2-1_amd64.deb
438 KiB
acl2-infix_4.2-1_armel.deb
393 KiB
acl2-infix_4.2-1_armhf.deb
393 KiB
acl2-infix_4.2-1_i386.deb
400 KiB
acl2-infix_4.2-1_powerpc.deb
521 KiB
acl2-infix_4.3-3_amd64.deb
194 KiB
acl2-infix_4.3-3_armel.deb
381 KiB
acl2-infix_4.3-3_armhf.deb
423 KiB
acl2-infix_4.3-3_i386.deb
173 KiB
acl2-infix_4.3-3_powerpc.deb
214 KiB
acl2-infix_6.0-2_amd64.deb
195 KiB
acl2-infix_6.0-2_i386.deb
174 KiB
acl2-infix_6.0-2_powerpc.deb
215 KiB
acl2-infix_6.2-6_amd64.deb
198 KiB
acl2-infix_6.2-6_armhf.deb
530 KiB
acl2-infix_6.2-6_i386.deb
181 KiB
acl2-infix_6.2-6_powerpc.deb
207 KiB
acl2-infix_6.4-4_amd64.deb
140 KiB
acl2-infix_6.4-4_arm64.deb
141 KiB
acl2-infix_6.4-4_armhf.deb
415 KiB
acl2-infix_6.4-4_i386.deb
136 KiB
acl2-infix_6.4-4_powerpc.deb
131 KiB
acl2-infix_7.0-1_amd64.deb
140 KiB
acl2-infix_7.0-1_arm64.deb
146 KiB
acl2-infix_7.0-1_armhf.deb
424 KiB
acl2-infix_7.0-1_i386.deb
142 KiB
acl2-infix_7.0-1_powerpc.deb
133 KiB
acl2-infix_7.1-1_amd64.deb
140 KiB
acl2-infix_7.1-1_arm64.deb
148 KiB
acl2-infix_7.1-1_armhf.deb
423 KiB
acl2-infix_7.1-1_i386.deb
142 KiB
acl2-infix_7.1-1_powerpc.deb
133 KiB
acl2-infix_7.2dfsg-2_amd64.deb
392 KiB
acl2-infix_7.2dfsg-2_arm64.deb
406 KiB
acl2-infix_7.2dfsg-2_armhf.deb
382 KiB
acl2-infix_7.2dfsg-2_i386.deb
369 KiB
acl2-infix_7.2dfsg-2_powerpc.deb
356 KiB
acl2-infix_7.2dfsg-2_s390x.deb
381 KiB
acl2-infix_8.0dfsg-1_amd64.deb
414 KiB
acl2-infix_8.0dfsg-1_arm64.deb
420 KiB
acl2-infix_8.0dfsg-1_armhf.deb
400 KiB
acl2-infix_8.0dfsg-1_i386.deb
381 KiB
acl2-infix_8.0dfsg-1_ppc64el.deb
464 KiB
acl2-infix_8.0dfsg-1_s390x.deb
378 KiB
acl2-infix_8.0dfsg-1build1_amd64.deb
471 KiB
acl2-infix_8.0dfsg-1build1_arm64.deb
459 KiB
acl2-infix_8.0dfsg-1build1_armhf.deb
462 KiB
acl2-infix_8.0dfsg-1build1_i386.deb
434 KiB
acl2-infix_8.0dfsg-1build1_s390x.deb
431 KiB
acl2-infix_8.1dfsg-3_amd64.deb
472 KiB
acl2-infix_8.1dfsg-3_arm64.deb
458 KiB
acl2-infix_8.1dfsg-3_armhf.deb
445 KiB
acl2-infix_8.1dfsg-3_i386.deb
475 KiB
acl2-infix_8.1dfsg-3_ppc64el.deb
486 KiB
acl2-infix_8.1dfsg-3_s390x.deb
429 KiB
acl2-infix_8.3dfsg-1_amd64.deb
472 KiB
acl2-infix_8.3dfsg-1_arm64.deb
461 KiB
acl2-infix_8.3dfsg-1_armhf.deb
436 KiB
acl2-infix_8.3dfsg-1_ppc64el.deb
489 KiB
acl2-infix_8.3dfsg-1_s390x.deb
434 KiB
acl2-infix_8.3dfsg-2_amd64.deb
472 KiB
acl2-infix_8.3dfsg-2_arm64.deb
461 KiB
acl2-infix_8.3dfsg-2_armhf.deb
434 KiB
acl2-infix_8.3dfsg-2_ppc64el.deb
488 KiB
acl2-infix_8.3dfsg-2_s390x.deb
432 KiB
acl2-infix_8.5dfsg-1_amd64.deb
533 KiB
acl2-infix_8.5dfsg-1_arm64.deb
540 KiB
acl2-infix_8.5dfsg-1_armhf.deb
541 KiB
acl2-infix_8.5dfsg-1_ppc64el.deb
577 KiB
acl2-infix_8.5dfsg-1_s390x.deb
503 KiB
acl2-infix_8.5dfsg-5_amd64.deb
533 KiB
acl2-infix_8.5dfsg-5_arm64.deb
540 KiB
acl2-infix_8.5dfsg-5_armhf.deb
541 KiB
acl2-infix_8.5dfsg-5_ppc64el.deb
577 KiB
acl2-infix_8.5dfsg-5_riscv64.deb
1.3 MiB
acl2-infix_8.5dfsg-5_s390x.deb
502 KiB
acl2-source_2.9-2_all.deb
2.0 MiB
acl2-source_2.9.3-5build1_all.deb
2.0 MiB
acl2-source_2.9.3-7_all.deb
2.0 MiB
acl2-source_3.0-1_all.deb
2.1 MiB
acl2-source_3.1-1_all.deb
2.2 MiB
acl2-source_3.3-1.1_all.deb
2.4 MiB
acl2-source_3.4-1_all.deb
2.5 MiB
acl2-source_3.4-2_all.deb
2.5 MiB
acl2-source_3.6-4_all.deb
2.6 MiB
acl2-source_4.0-3_all.deb
2.9 MiB
acl2-source_4.1-5_all.deb
2.9 MiB
acl2-source_4.2-1_all.deb
3.0 MiB
acl2-source_4.3-3_all.deb
3.1 MiB
acl2-source_6.0-2_all.deb
3.5 MiB
acl2-source_6.2-6_all.deb
3.6 MiB
acl2-source_6.4-4_all.deb
2.6 MiB
acl2-source_7.0-1_all.deb
2.7 MiB
acl2-source_7.1-1_all.deb
2.7 MiB
acl2-source_7.2dfsg-2_all.deb
2.8 MiB
acl2-source_8.0dfsg-1_all.deb
2.9 MiB
acl2-source_8.0dfsg-1build1_all.deb
2.9 MiB
acl2-source_8.1dfsg-3_all.deb
3.0 MiB
acl2-source_8.3dfsg-1_all.deb
3.2 MiB
acl2-source_8.3dfsg-2_all.deb
3.2 MiB
acl2-source_8.5dfsg-1_all.deb
3.5 MiB
acl2-source_8.5dfsg-5_all.deb
3.5 MiB
acl2_2.8-4.diff.gz
12 KiB
acl2_2.8-4.dsc
795 B
acl2_2.8-4_amd64.deb
10 MiB
acl2_2.8-4_i386.deb
12 MiB
acl2_2.8.orig.tar.gz
4.9 MiB
acl2_2.9-2.diff.gz
18 KiB
acl2_2.9-2.dsc
794 B
acl2_2.9-2_amd64.deb
16 MiB
acl2_2.9-2_i386.deb
13 MiB
acl2_2.9-2_ia64.deb
16 MiB
acl2_2.9-2_powerpc.deb
15 MiB
acl2_2.9.3-5build1.diff.gz
19 KiB
acl2_2.9.3-5build1.dsc
816 B
acl2_2.9.3-5build1_hppa.deb
14 MiB
acl2_2.9.3-5build1_i386.deb
13 MiB
acl2_2.9.3-5build1_ia64.deb
16 MiB
acl2_2.9.3-7.diff.gz
20 KiB
acl2_2.9.3-7.dsc
805 B
acl2_2.9.3-7_amd64.deb
16 MiB
acl2_2.9.3-7_i386.deb
13 MiB
acl2_2.9.3-7_ia64.deb
16 MiB
acl2_2.9.3-7_powerpc.deb
15 MiB
acl2_2.9.3-7_sparc.deb
17 MiB
acl2_2.9.3.orig.tar.gz
5.2 MiB
acl2_2.9.orig.tar.gz
5.0 MiB
acl2_3.0-1.diff.gz
13 KiB
acl2_3.0-1.dsc
797 B
acl2_3.0-1_amd64.deb
17 MiB
acl2_3.0-1_i386.deb
14 MiB
acl2_3.0-1_sparc.deb
18 MiB
acl2_3.0.orig.tar.gz
5.7 MiB
acl2_3.1-1.diff.gz
13 KiB
acl2_3.1-1.dsc
822 B
acl2_3.1-1_amd64.deb
18 MiB
acl2_3.1-1_i386.deb
15 MiB
acl2_3.1-1_ia64.deb
17 MiB
acl2_3.1-1_powerpc.deb
17 MiB
acl2_3.1-1_sparc.deb
17 MiB
acl2_3.1.orig.tar.gz
6.4 MiB
acl2_3.2-1.diff.gz
13 KiB
acl2_3.2-1.dsc
822 B
acl2_3.2.orig.tar.gz
6.7 MiB
acl2_3.3-1.1.diff.gz
13 KiB
acl2_3.3-1.1.dsc
821 B
acl2_3.3-1.1_amd64.deb
18 MiB
acl2_3.3-1.1_hppa.deb
17 MiB
acl2_3.3-1.1_i386.deb
16 MiB
acl2_3.3-1.1_ia64.deb
18 MiB
acl2_3.3-1.1_lpia.deb
16 MiB
acl2_3.3-1.1_powerpc.deb
18 MiB
acl2_3.3-1.1_sparc.deb
18 MiB
acl2_3.3-1ubuntu1.diff.gz
13 KiB
acl2_3.3-1ubuntu1.dsc
1.0 KiB
acl2_3.3-1ubuntu1_amd64.deb
18 MiB
acl2_3.3-1ubuntu1_hppa.deb
17 MiB
acl2_3.3-1ubuntu1_ia64.deb
18 MiB
acl2_3.3-1ubuntu1_lpia.deb
16 MiB
acl2_3.3-1ubuntu1_powerpc.deb
18 MiB
acl2_3.3-1ubuntu1_sparc.deb
18 MiB
acl2_3.3.orig.tar.gz
7.0 MiB
acl2_3.4-1.diff.gz
13 KiB
acl2_3.4-1.dsc
1.1 KiB
acl2_3.4-1_amd64.deb
21 MiB
acl2_3.4-1_hppa.deb
19 MiB
acl2_3.4-1_i386.deb
18 MiB
acl2_3.4-1_ia64.deb
21 MiB
acl2_3.4-1_lpia.deb
18 MiB
acl2_3.4-1_powerpc.deb
20 MiB
acl2_3.4-1_sparc.deb
21 MiB
acl2_3.4-2.diff.gz
14 KiB
acl2_3.4-2.dsc
1.2 KiB
acl2_3.4-2_amd64.deb
21 MiB
acl2_3.4-2_i386.deb
18 MiB
acl2_3.4-2_ia64.deb
21 MiB
acl2_3.4-2_lpia.deb
18 MiB
acl2_3.4-2_powerpc.deb
20 MiB
acl2_3.4-2_sparc.deb
21 MiB
acl2_3.4.orig.tar.gz
7.6 MiB
acl2_3.6-4.diff.gz
15 KiB
acl2_3.6-4.dsc
1.1 KiB
acl2_3.6-4_amd64.deb
22 MiB
acl2_3.6-4_i386.deb
20 MiB
acl2_3.6-4_powerpc.deb
22 MiB
acl2_3.6-4_sparc.deb
23 MiB
acl2_3.6.orig.tar.gz
10 MiB
acl2_4.0-3.diff.gz
16 KiB
acl2_4.0-3.dsc
1.1 KiB
acl2_4.0-3_amd64.deb
25 MiB
acl2_4.0-3_i386.deb
21 MiB
acl2_4.0-3_powerpc.deb
24 MiB
acl2_4.0.orig.tar.gz
11 MiB
acl2_4.1-5.debian.tar.gz
17 KiB
acl2_4.1-5.dsc
1.2 KiB
acl2_4.1-5_amd64.deb
25 MiB
acl2_4.1-5_i386.deb
21 MiB
acl2_4.1-5_powerpc.deb
23 MiB
acl2_4.1.orig.tar.gz
11 MiB
acl2_4.2-1.debian.tar.gz
18 KiB
acl2_4.2-1.dsc
1.2 KiB
acl2_4.2-1_amd64.deb
25 MiB
acl2_4.2-1_armel.deb
21 MiB
acl2_4.2-1_armhf.deb
21 MiB
acl2_4.2-1_i386.deb
22 MiB
acl2_4.2-1_powerpc.deb
23 MiB
acl2_4.2.orig.tar.gz
11 MiB
acl2_4.3-3.debian.tar.gz
18 KiB
acl2_4.3-3.dsc
1.5 KiB
acl2_4.3-3_amd64.deb
27 MiB
acl2_4.3-3_armel.deb
23 MiB
acl2_4.3-3_armhf.deb
23 MiB
acl2_4.3-3_i386.deb
23 MiB
acl2_4.3-3_powerpc.deb
25 MiB
acl2_4.3.orig.tar.gz
14 MiB
acl2_6.0-2.debian.tar.gz
155 KiB
acl2_6.0-2.dsc
1.7 KiB
acl2_6.0-2_amd64.deb
30 MiB
acl2_6.0-2_i386.deb
26 MiB
acl2_6.0-2_powerpc.deb
27 MiB
acl2_6.0.orig-books.tar.gz
10 MiB
acl2_6.0.orig.tar.gz
6.5 MiB
acl2_6.2-6.debian.tar.gz
157 KiB
acl2_6.2-6.dsc
1.7 KiB
acl2_6.2-6_amd64.deb
27 MiB
acl2_6.2-6_armhf.deb
23 MiB
acl2_6.2-6_i386.deb
23 MiB
acl2_6.2-6_powerpc.deb
25 MiB
acl2_6.2.orig-books.tar.gz
11 MiB
acl2_6.2.orig.tar.gz
6.6 MiB
acl2_6.4-4.debian.tar.xz
124 KiB
acl2_6.4-4.dsc
1.8 KiB
acl2_6.4-4_amd64.deb
15 MiB
acl2_6.4-4_arm64.deb
14 MiB
acl2_6.4-4_armhf.deb
13 MiB
acl2_6.4-4_i386.deb
12 MiB
acl2_6.4-4_powerpc.deb
12 MiB
acl2_6.4.orig-books.tar.gz
14 MiB
acl2_6.4.orig.tar.gz
5.8 MiB
acl2_7.0-1.debian.tar.xz
126 KiB
acl2_7.0-1.dsc
2.2 KiB
acl2_7.0-1_amd64.deb
15 MiB
acl2_7.0-1_arm64.deb
14 MiB
acl2_7.0-1_armhf.deb
13 MiB
acl2_7.0-1_i386.deb
13 MiB
acl2_7.0-1_powerpc.deb
12 MiB
acl2_7.0.orig.tar.gz
56 MiB
acl2_7.1-1.debian.tar.xz
126 KiB
acl2_7.1-1.dsc
2.2 KiB
acl2_7.1-1_amd64.deb
16 MiB
acl2_7.1-1_arm64.deb
15 MiB
acl2_7.1-1_armhf.deb
15 MiB
acl2_7.1-1_i386.deb
16 MiB
acl2_7.1-1_powerpc.deb
13 MiB
acl2_7.1.orig.tar.gz
60 MiB
acl2_7.2dfsg-2.debian.tar.xz
199 KiB
acl2_7.2dfsg-2.dsc
2.2 KiB
acl2_7.2dfsg-2_amd64.deb
17 MiB
acl2_7.2dfsg-2_arm64.deb
15 MiB
acl2_7.2dfsg-2_armhf.deb
14 MiB
acl2_7.2dfsg-2_i386.deb
15 MiB
acl2_7.2dfsg-2_powerpc.deb
14 MiB
acl2_7.2dfsg-2_s390x.deb
16 MiB
acl2_7.2dfsg.orig.tar.gz
61 MiB
acl2_8.0dfsg-1.debian.tar.xz
200 KiB
acl2_8.0dfsg-1.dsc
2.2 KiB
acl2_8.0dfsg-1_amd64.deb
19 MiB
acl2_8.0dfsg-1_arm64.deb
17 MiB
acl2_8.0dfsg-1_armhf.deb
15 MiB
acl2_8.0dfsg-1_i386.deb
16 MiB
acl2_8.0dfsg-1_ppc64el.deb
19 MiB
acl2_8.0dfsg-1_s390x.deb
18 MiB
acl2_8.0dfsg-1build1.debian.tar.xz
200 KiB
acl2_8.0dfsg-1build1.dsc
2.2 KiB
acl2_8.0dfsg-1build1_amd64.deb
19 MiB
acl2_8.0dfsg-1build1_arm64.deb
18 MiB
acl2_8.0dfsg-1build1_armhf.deb
16 MiB
acl2_8.0dfsg-1build1_i386.deb
17 MiB
acl2_8.0dfsg-1build1_s390x.deb
19 MiB
acl2_8.0dfsg.orig.tar.gz
74 MiB
acl2_8.1dfsg-3.debian.tar.xz
200 KiB
acl2_8.1dfsg-3.dsc
2.2 KiB
acl2_8.1dfsg-3_amd64.deb
19 MiB
acl2_8.1dfsg-3_arm64.deb
19 MiB
acl2_8.1dfsg-3_armhf.deb
17 MiB
acl2_8.1dfsg-3_i386.deb
18 MiB
acl2_8.1dfsg-3_ppc64el.deb
19 MiB
acl2_8.1dfsg-3_s390x.deb
18 MiB
acl2_8.1dfsg.orig.tar.gz
75 MiB
acl2_8.3dfsg-1.debian.tar.xz
201 KiB
acl2_8.3dfsg-1.dsc
2.2 KiB
acl2_8.3dfsg-1_amd64.deb
20 MiB
acl2_8.3dfsg-1_arm64.deb
19 MiB
acl2_8.3dfsg-1_armhf.deb
17 MiB
acl2_8.3dfsg-1_ppc64el.deb
21 MiB
acl2_8.3dfsg-1_s390x.deb
20 MiB
acl2_8.3dfsg-2.debian.tar.xz
223 KiB
acl2_8.3dfsg-2.dsc
2.2 KiB
acl2_8.3dfsg-2_amd64.deb
20 MiB
acl2_8.3dfsg-2_arm64.deb
19 MiB
acl2_8.3dfsg-2_armhf.deb
18 MiB
acl2_8.3dfsg-2_ppc64el.deb
20 MiB
acl2_8.3dfsg-2_s390x.deb
20 MiB
acl2_8.3dfsg.orig.tar.gz
112 MiB
acl2_8.5dfsg-1.debian.tar.xz
305 KiB
acl2_8.5dfsg-1.dsc
2.2 KiB
acl2_8.5dfsg-1_amd64.deb
26 MiB
acl2_8.5dfsg-1_arm64.deb
24 MiB
acl2_8.5dfsg-1_armhf.deb
22 MiB
acl2_8.5dfsg-1_ppc64el.deb
26 MiB
acl2_8.5dfsg-1_s390x.deb
26 MiB
acl2_8.5dfsg-5.debian.tar.xz
306 KiB
acl2_8.5dfsg-5.dsc
2.2 KiB
acl2_8.5dfsg-5_amd64.deb
26 MiB
acl2_8.5dfsg-5_arm64.deb
24 MiB
acl2_8.5dfsg-5_armhf.deb
22 MiB
acl2_8.5dfsg-5_ppc64el.deb
26 MiB
acl2_8.5dfsg-5_riscv64.deb
24 MiB
acl2_8.5dfsg-5_s390x.deb
25 MiB
acl2_8.5dfsg.orig.tar.gz
213 MiB
elpa-acl2_8.5dfsg-1_all.deb
70 KiB
elpa-acl2_8.5dfsg-5_all.deb
70 KiB