|
../ |
— |
— |
|
acl2_6.3-5_amd64.deb |
26.6 MB |
Oct 24, 2013 |
|
acl2_6.3-5_i386.deb |
22.9 MB |
Oct 24, 2013 |
|
acl2_6.3-5.debian.tar.gz |
157.7 KB |
Oct 21, 2013 |
|
acl2_6.3-5.dsc |
1.7 KB |
Oct 21, 2013 |
|
acl2_6.3.orig-books.tar.gz |
13 MB |
Oct 21, 2013 |
|
acl2_6.3.orig.tar.gz |
6.7 MB |
Oct 21, 2013 |
|
acl2_7.1-1_amd64.deb |
16.5 MB |
Jun 27, 2015 |
|
acl2_7.1-1_i386.deb |
15.7 MB |
Jun 1, 2015 |
|
acl2_7.1-1.debian.tar.xz |
125.9 KB |
Jun 1, 2015 |
|
acl2_7.1-1.dsc |
2.2 KB |
Jun 1, 2015 |
|
acl2_7.1.orig.tar.gz |
60.4 MB |
Jun 1, 2015 |
|
acl2_8.0dfsg-1_amd64.deb |
18.8 MB |
Jan 13, 2018 |
|
acl2_8.0dfsg-1_i386.deb |
16.2 MB |
Jan 13, 2018 |
|
acl2_8.0dfsg-1.debian.tar.xz |
200 KB |
Jan 13, 2018 |
|
acl2_8.0dfsg-1.dsc |
2.2 KB |
Jan 13, 2018 |
|
acl2_8.0dfsg.orig.tar.gz |
74 MB |
Jan 13, 2018 |
|
acl2_8.2dfsg-3build1_amd64.deb |
20.9 MB |
Mar 23, 2020 |
|
acl2_8.2dfsg-3build1.debian.tar.xz |
201.2 KB |
Mar 23, 2020 |
|
acl2_8.2dfsg-3build1.dsc |
2.2 KB |
Mar 23, 2020 |
|
acl2_8.2dfsg.orig.tar.gz |
76.9 MB |
Dec 19, 2019 |
|
acl2_8.4dfsg-2_amd64.deb |
24.9 MB |
Dec 18, 2021 |
|
acl2_8.4dfsg-2.debian.tar.xz |
304.3 KB |
Nov 1, 2021 |
|
acl2_8.4dfsg-2.dsc |
2.2 KB |
Nov 1, 2021 |
|
acl2_8.4dfsg.orig.tar.gz |
193.6 MB |
Oct 28, 2021 |
|
acl2_8.5dfsg-5build3_amd64.deb |
25.6 MB |
Apr 2, 2024 |
|
acl2_8.5dfsg-5build3.debian.tar.xz |
305.7 KB |
Apr 1, 2024 |
|
acl2_8.5dfsg-5build3.dsc |
2.3 KB |
Apr 1, 2024 |
|
acl2_8.5dfsg-6_amd64.deb |
25.3 MB |
Jul 29, 2024 |
|
acl2_8.5dfsg-6.debian.tar.xz |
305.5 KB |
Jul 28, 2024 |
|
acl2_8.5dfsg-6.dsc |
2.2 KB |
Jul 28, 2024 |
|
acl2_8.5dfsg.orig.tar.gz |
213.2 MB |
Jul 27, 2022 |
|
acl2_8.6+dfsg-3_amd64.deb |
45.3 MB |
May 15, 2025 |
|
acl2_8.6+dfsg-3.debian.tar.xz |
694.5 KB |
May 14, 2025 |
|
acl2_8.6+dfsg-3.dsc |
2.2 KB |
May 14, 2025 |
|
acl2_8.6+dfsg-3build1_amd64.deb |
46.6 MB |
Feb 4, 2026 |
|
acl2_8.6+dfsg-3build1_amd64v3.deb |
46 MB |
Feb 4, 2026 |
|
acl2_8.6+dfsg-3build1.debian.tar.xz |
694.5 KB |
Feb 3, 2026 |
|
acl2_8.6+dfsg-3build1.dsc |
2.3 KB |
Feb 3, 2026 |
|
acl2_8.6+dfsg.orig.tar.gz |
229.2 MB |
May 1, 2025 |
|
acl2-books_6.3-5_amd64.deb |
40.1 MB |
Oct 24, 2013 |
|
acl2-books_6.3-5_i386.deb |
35.8 MB |
Oct 24, 2013 |
|
acl2-books_7.1-1_amd64.deb |
18.7 MB |
Jun 27, 2015 |
|
acl2-books_7.1-1_i386.deb |
17.7 MB |
Jun 1, 2015 |
|
acl2-books_8.0dfsg-1_amd64.deb |
131.7 MB |
Jan 13, 2018 |
|
acl2-books_8.0dfsg-1_i386.deb |
114.1 MB |
Jan 13, 2018 |
|
acl2-books_8.2dfsg-3build1_amd64.deb |
163.4 MB |
Mar 23, 2020 |
|
acl2-books_8.4dfsg-2_amd64.deb |
337.6 MB |
Dec 18, 2021 |
|
acl2-books_8.5dfsg-5build3_amd64.deb |
330.5 MB |
Apr 2, 2024 |
|
acl2-books_8.5dfsg-6_amd64.deb |
170.5 MB |
Jul 29, 2024 |
|
acl2-books_8.6+dfsg-3_amd64.deb |
469 MB |
May 15, 2025 |
|
acl2-books_8.6+dfsg-3build1_amd64.deb |
466.9 MB |
Feb 4, 2026 |
|
acl2-books_8.6+dfsg-3build1_amd64v3.deb |
467.2 MB |
Feb 4, 2026 |
|
acl2-books-certs_6.3-5_all.deb |
11.1 MB |
Oct 24, 2013 |
|
acl2-books-certs_7.1-1_all.deb |
12.6 MB |
Jun 27, 2015 |
|
acl2-books-certs_8.0dfsg-1_all.deb |
70 MB |
Jan 13, 2018 |
|
acl2-books-certs_8.2dfsg-3build1_all.deb |
65.8 MB |
Mar 23, 2020 |
|
acl2-books-certs_8.4dfsg-2_all.deb |
221.1 MB |
Dec 18, 2021 |
|
acl2-books-certs_8.5dfsg-5build3_all.deb |
215.8 MB |
Apr 2, 2024 |
|
acl2-books-certs_8.5dfsg-6_all.deb |
78.6 MB |
Jul 29, 2024 |
|
acl2-books-certs_8.6+dfsg-3_all.deb |
267.7 MB |
May 15, 2025 |
|
acl2-books-certs_8.6+dfsg-3build1_all.deb |
267 MB |
Feb 4, 2026 |
|
acl2-books-source_6.3-5_all.deb |
9.1 MB |
Oct 24, 2013 |
|
acl2-books-source_7.1-1_all.deb |
9.9 MB |
Jun 27, 2015 |
|
acl2-books-source_8.0dfsg-1_all.deb |
11.9 MB |
Jan 13, 2018 |
|
acl2-books-source_8.2dfsg-3build1_all.deb |
13.6 MB |
Mar 23, 2020 |
|
acl2-books-source_8.4dfsg-2_all.deb |
21.1 MB |
Dec 18, 2021 |
|
acl2-books-source_8.5dfsg-5build3_all.deb |
22.7 MB |
Apr 2, 2024 |
|
acl2-books-source_8.5dfsg-6_all.deb |
22.7 MB |
Jul 29, 2024 |
|
acl2-books-source_8.6+dfsg-3_all.deb |
26.3 MB |
May 15, 2025 |
|
acl2-books-source_8.6+dfsg-3build1_all.deb |
26.5 MB |
Feb 4, 2026 |
|
acl2-doc_6.3-5_all.deb |
12.1 MB |
Oct 24, 2013 |
|
acl2-doc_7.1-1_all.deb |
353.3 KB |
Jun 27, 2015 |
|
acl2-doc_8.0dfsg-1_all.deb |
385.1 KB |
Jan 13, 2018 |
|
acl2-doc_8.2dfsg-3build1_all.deb |
418.1 KB |
Mar 23, 2020 |
|
acl2-doc_8.4dfsg-2_all.deb |
441.1 KB |
Dec 18, 2021 |
|
acl2-doc_8.5dfsg-5build3_all.deb |
473.9 KB |
Apr 2, 2024 |
|
acl2-doc_8.5dfsg-6_all.deb |
473.8 KB |
Jul 29, 2024 |
|
acl2-doc_8.6+dfsg-3_all.deb |
516 KB |
May 15, 2025 |
|
acl2-doc_8.6+dfsg-3build1_all.deb |
516.1 KB |
Feb 4, 2026 |
|
acl2-emacs_6.3-5_all.deb |
55 KB |
Oct 24, 2013 |
|
acl2-emacs_7.1-1_all.deb |
55.2 KB |
Jun 27, 2015 |
|
acl2-emacs_8.0dfsg-1_all.deb |
58.9 KB |
Jan 13, 2018 |
|
acl2-emacs_8.2dfsg-3build1_all.deb |
59.1 KB |
Mar 23, 2020 |
|
acl2-infix_6.3-5_amd64.deb |
200.3 KB |
Oct 24, 2013 |
|
acl2-infix_6.3-5_i386.deb |
189 KB |
Oct 24, 2013 |
|
acl2-infix_7.1-1_amd64.deb |
140.2 KB |
Jun 27, 2015 |
|
acl2-infix_7.1-1_i386.deb |
142.1 KB |
Jun 1, 2015 |
|
acl2-infix_8.0dfsg-1_amd64.deb |
414.2 KB |
Jan 13, 2018 |
|
acl2-infix_8.0dfsg-1_i386.deb |
381.1 KB |
Jan 13, 2018 |
|
acl2-infix_8.2dfsg-3build1_amd64.deb |
469.9 KB |
Mar 23, 2020 |
|
acl2-infix_8.4dfsg-2_amd64.deb |
550.8 KB |
Dec 18, 2021 |
|
acl2-infix_8.5dfsg-5build3_amd64.deb |
538.1 KB |
Apr 2, 2024 |
|
acl2-infix_8.5dfsg-6_amd64.deb |
533 KB |
Jul 29, 2024 |
|
acl2-infix_8.6+dfsg-3_amd64.deb |
990.8 KB |
May 15, 2025 |
|
acl2-infix_8.6+dfsg-3build1_amd64.deb |
976.3 KB |
Feb 4, 2026 |
|
acl2-infix_8.6+dfsg-3build1_amd64v3.deb |
980.3 KB |
Feb 4, 2026 |
|
acl2-infix-source_6.3-5_all.deb |
86 KB |
Oct 24, 2013 |
|
acl2-infix-source_7.1-1_all.deb |
70.3 KB |
Jun 27, 2015 |
|
acl2-infix-source_8.0dfsg-1_all.deb |
70.2 KB |
Jan 13, 2018 |
|
acl2-infix-source_8.2dfsg-3build1_all.deb |
70.2 KB |
Mar 23, 2020 |
|
acl2-infix-source_8.4dfsg-2_all.deb |
72 KB |
Dec 18, 2021 |
|
acl2-infix-source_8.5dfsg-5build3_all.deb |
72.4 KB |
Apr 2, 2024 |
|
acl2-infix-source_8.5dfsg-6_all.deb |
72.3 KB |
Jul 29, 2024 |
|
acl2-infix-source_8.6+dfsg-3_all.deb |
72.8 KB |
May 15, 2025 |
|
acl2-infix-source_8.6+dfsg-3build1_all.deb |
72.9 KB |
Feb 4, 2026 |
|
acl2-source_6.3-5_all.deb |
3.6 MB |
Oct 24, 2013 |
|
acl2-source_7.1-1_all.deb |
2.7 MB |
Jun 27, 2015 |
|
acl2-source_8.0dfsg-1_all.deb |
2.9 MB |
Jan 13, 2018 |
|
acl2-source_8.2dfsg-3build1_all.deb |
3.1 MB |
Mar 23, 2020 |
|
acl2-source_8.4dfsg-2_all.deb |
3.4 MB |
Dec 18, 2021 |
|
acl2-source_8.5dfsg-5build3_all.deb |
3.5 MB |
Apr 2, 2024 |
|
acl2-source_8.5dfsg-6_all.deb |
3.5 MB |
Jul 29, 2024 |
|
acl2-source_8.6+dfsg-3_all.deb |
3.9 MB |
May 15, 2025 |
|
acl2-source_8.6+dfsg-3build1_all.deb |
3.9 MB |
Feb 4, 2026 |
|
elpa-acl2_8.4dfsg-2_all.deb |
69.1 KB |
Dec 18, 2021 |
|
elpa-acl2_8.5dfsg-5build3_all.deb |
70.7 KB |
Apr 2, 2024 |
|
elpa-acl2_8.5dfsg-6_all.deb |
70.8 KB |
Jul 29, 2024 |
|
elpa-acl2_8.6+dfsg-3_all.deb |
78.6 KB |
May 15, 2025 |
|
elpa-acl2_8.6+dfsg-3build1_all.deb |
78.7 KB |
Feb 4, 2026 |