/ubuntu/pool/universe/a/acl2/

0 directories 104 files 3.6 GiB total
List Grid
Name
Size Modified
Up
acl2-books-certs_6.3-5_all.deb
11 MiB
acl2-books-certs_7.1-1_all.deb
13 MiB
acl2-books-certs_8.0dfsg-1_all.deb
70 MiB
acl2-books-certs_8.2dfsg-3build1_all.deb
66 MiB
acl2-books-certs_8.4dfsg-2_all.deb
221 MiB
acl2-books-certs_8.5dfsg-5_all.deb
216 MiB
acl2-books-certs_8.5dfsg-5build3_all.deb
216 MiB
acl2-books-certs_8.5dfsg-6_all.deb
79 MiB
acl2-books-source_6.3-5_all.deb
9.1 MiB
acl2-books-source_7.1-1_all.deb
9.9 MiB
acl2-books-source_8.0dfsg-1_all.deb
12 MiB
acl2-books-source_8.2dfsg-3build1_all.deb
14 MiB
acl2-books-source_8.4dfsg-2_all.deb
21 MiB
acl2-books-source_8.5dfsg-5_all.deb
23 MiB
acl2-books-source_8.5dfsg-5build3_all.deb
23 MiB
acl2-books-source_8.5dfsg-6_all.deb
23 MiB
acl2-books_6.3-5_amd64.deb
40 MiB
acl2-books_6.3-5_i386.deb
36 MiB
acl2-books_7.1-1_amd64.deb
19 MiB
acl2-books_7.1-1_i386.deb
18 MiB
acl2-books_8.0dfsg-1_amd64.deb
132 MiB
acl2-books_8.0dfsg-1_i386.deb
114 MiB
acl2-books_8.2dfsg-3build1_amd64.deb
163 MiB
acl2-books_8.4dfsg-2_amd64.deb
338 MiB
acl2-books_8.5dfsg-5_amd64.deb
329 MiB
acl2-books_8.5dfsg-5build3_amd64.deb
330 MiB
acl2-books_8.5dfsg-6_amd64.deb
170 MiB
acl2-doc_6.3-5_all.deb
12 MiB
acl2-doc_7.1-1_all.deb
353 KiB
acl2-doc_8.0dfsg-1_all.deb
385 KiB
acl2-doc_8.2dfsg-3build1_all.deb
418 KiB
acl2-doc_8.4dfsg-2_all.deb
441 KiB
acl2-doc_8.5dfsg-5_all.deb
473 KiB
acl2-doc_8.5dfsg-5build3_all.deb
474 KiB
acl2-doc_8.5dfsg-6_all.deb
474 KiB
acl2-emacs_6.3-5_all.deb
55 KiB
acl2-emacs_7.1-1_all.deb
55 KiB
acl2-emacs_8.0dfsg-1_all.deb
59 KiB
acl2-emacs_8.2dfsg-3build1_all.deb
59 KiB
acl2-infix-source_6.3-5_all.deb
86 KiB
acl2-infix-source_7.1-1_all.deb
70 KiB
acl2-infix-source_8.0dfsg-1_all.deb
70 KiB
acl2-infix-source_8.2dfsg-3build1_all.deb
70 KiB
acl2-infix-source_8.4dfsg-2_all.deb
72 KiB
acl2-infix-source_8.5dfsg-5_all.deb
72 KiB
acl2-infix-source_8.5dfsg-5build3_all.deb
72 KiB
acl2-infix-source_8.5dfsg-6_all.deb
72 KiB
acl2-infix_6.3-5_amd64.deb
200 KiB
acl2-infix_6.3-5_i386.deb
189 KiB
acl2-infix_7.1-1_amd64.deb
140 KiB
acl2-infix_7.1-1_i386.deb
142 KiB
acl2-infix_8.0dfsg-1_amd64.deb
414 KiB
acl2-infix_8.0dfsg-1_i386.deb
381 KiB
acl2-infix_8.2dfsg-3build1_amd64.deb
470 KiB
acl2-infix_8.4dfsg-2_amd64.deb
551 KiB
acl2-infix_8.5dfsg-5_amd64.deb
533 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb
538 KiB
acl2-infix_8.5dfsg-6_amd64.deb
533 KiB
acl2-source_6.3-5_all.deb
3.6 MiB
acl2-source_7.1-1_all.deb
2.7 MiB
acl2-source_8.0dfsg-1_all.deb
2.9 MiB
acl2-source_8.2dfsg-3build1_all.deb
3.1 MiB
acl2-source_8.4dfsg-2_all.deb
3.4 MiB
acl2-source_8.5dfsg-5_all.deb
3.5 MiB
acl2-source_8.5dfsg-5build3_all.deb
3.5 MiB
acl2-source_8.5dfsg-6_all.deb
3.5 MiB
acl2_6.3-5.debian.tar.gz
158 KiB
acl2_6.3-5.dsc
1.7 KiB
acl2_6.3-5_amd64.deb
27 MiB
acl2_6.3-5_i386.deb
23 MiB
acl2_6.3.orig-books.tar.gz
13 MiB
acl2_6.3.orig.tar.gz
6.7 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_i386.deb
16 MiB
acl2_7.1.orig.tar.gz
60 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_i386.deb
16 MiB
acl2_8.0dfsg.orig.tar.gz
74 MiB
acl2_8.2dfsg-3build1.debian.tar.xz
201 KiB
acl2_8.2dfsg-3build1.dsc
2.2 KiB
acl2_8.2dfsg-3build1_amd64.deb
21 MiB
acl2_8.2dfsg.orig.tar.gz
77 MiB
acl2_8.4dfsg-2.debian.tar.xz
304 KiB
acl2_8.4dfsg-2.dsc
2.2 KiB
acl2_8.4dfsg-2_amd64.deb
25 MiB
acl2_8.4dfsg.orig.tar.gz
194 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-5build3.debian.tar.xz
306 KiB
acl2_8.5dfsg-5build3.dsc
2.3 KiB
acl2_8.5dfsg-5build3_amd64.deb
26 MiB
acl2_8.5dfsg-6.debian.tar.xz
306 KiB
acl2_8.5dfsg-6.dsc
2.2 KiB
acl2_8.5dfsg-6_amd64.deb
25 MiB
acl2_8.5dfsg.orig.tar.gz
213 MiB
elpa-acl2_8.4dfsg-2_all.deb
69 KiB
elpa-acl2_8.5dfsg-5_all.deb
70 KiB
elpa-acl2_8.5dfsg-5build3_all.deb
71 KiB
elpa-acl2_8.5dfsg-6_all.deb
71 KiB