Index of /ubuntu/pool/universe/a/acl2/
name
size
date
acl2_8.6+dfsg-3build1_amd64.deb
46.63M
2026-02-04 06:32:19
acl2-books_8.6+dfsg-3build1_amd64.deb
466.91M
2026-02-04 06:32:18
acl2-books-certs_8.6+dfsg-3build1_all.deb
267.04M
2026-02-04 06:32:11
acl2-books-source_8.6+dfsg-3build1_all.deb
26.49M
2026-02-04 06:32:07
acl2-doc_8.6+dfsg-3build1_all.deb
0.50M
2026-02-04 06:32:07
acl2-infix-source_8.6+dfsg-3build1_all.deb
72.9K
2026-02-04 06:32:06
acl2-infix_8.6+dfsg-3build1_amd64.deb
0.95M
2026-02-04 06:32:06
acl2-source_8.6+dfsg-3build1_all.deb
3.87M
2026-02-04 06:32:06
elpa-acl2_8.6+dfsg-3build1_all.deb
78.7K
2026-02-04 06:32:06
acl2-books_8.6+dfsg-3_amd64.deb
468.98M
2025-05-15 07:30:37
acl2_8.6+dfsg-3_amd64.deb
45.32M
2025-05-15 07:30:37
acl2-books-certs_8.6+dfsg-3_all.deb
267.66M
2025-05-15 07:30:30
acl2-books-source_8.6+dfsg-3_all.deb
26.34M
2025-05-15 07:30:27
acl2-doc_8.6+dfsg-3_all.deb
0.50M
2025-05-15 07:30:27
acl2-infix-source_8.6+dfsg-3_all.deb
72.8K
2025-05-15 07:30:27
acl2-infix_8.6+dfsg-3_amd64.deb
0.97M
2025-05-15 07:30:27
acl2-source_8.6+dfsg-3_all.deb
3.87M
2025-05-15 07:30:27
elpa-acl2_8.6+dfsg-3_all.deb
78.6K
2025-05-15 07:30:26
acl2_8.5dfsg-6_amd64.deb
25.26M
2024-07-29 04:20:27
acl2-books_8.5dfsg-6_amd64.deb
170.51M
2024-07-29 04:20:26
acl2-books-certs_8.5dfsg-6_all.deb
78.65M
2024-07-29 04:20:24
acl2-books-source_8.5dfsg-6_all.deb
22.71M
2024-07-29 04:20:22
acl2-doc_8.5dfsg-6_all.deb
473.8K
2024-07-29 04:20:21
acl2-infix-source_8.5dfsg-6_all.deb
72.3K
2024-07-29 04:20:21
acl2-infix_8.5dfsg-6_amd64.deb
0.52M
2024-07-29 04:20:21
acl2-source_8.5dfsg-6_all.deb
3.48M
2024-07-29 04:20:21
elpa-acl2_8.5dfsg-6_all.deb
70.8K
2024-07-29 04:20:20
acl2-books_8.5dfsg-5build3_amd64.deb
330.50M
2024-04-02 08:03:05
acl2_8.5dfsg-5build3_amd64.deb
25.61M
2024-04-02 08:03:05
acl2-books-certs_8.5dfsg-5build3_all.deb
215.75M
2024-04-02 08:03:00
acl2-books-source_8.5dfsg-5build3_all.deb
22.70M
2024-04-02 08:02:58
acl2-doc_8.5dfsg-5build3_all.deb
473.9K
2024-04-02 08:02:57
acl2-infix-source_8.5dfsg-5build3_all.deb
72.4K
2024-04-02 08:02:57
acl2-infix_8.5dfsg-5build3_amd64.deb
0.53M
2024-04-02 08:02:57
acl2-source_8.5dfsg-5build3_all.deb
3.48M
2024-04-02 08:02:57
elpa-acl2_8.5dfsg-5build3_all.deb
70.7K
2024-04-02 08:02:57
acl2-infix-source_8.4dfsg-2_all.deb
72.0K
2021-12-19 01:10:26
acl2-books-source_8.4dfsg-2_all.deb
21.11M
2021-12-19 01:10:25
acl2_8.4dfsg-2_amd64.deb
24.92M
2021-12-19 01:10:20
acl2-books-certs_8.4dfsg-2_all.deb
221.09M
2021-12-19 01:10:18
acl2-source_8.4dfsg-2_all.deb
3.37M
2021-12-19 01:10:00
acl2-books_8.4dfsg-2_amd64.deb
337.55M
2021-12-19 01:09:59
acl2-doc_8.4dfsg-2_all.deb
441.1K
2021-12-19 01:09:59
elpa-acl2_8.4dfsg-2_all.deb
69.1K
2021-12-19 01:09:07
acl2-infix_8.4dfsg-2_amd64.deb
0.54M
2021-12-19 01:09:06
acl2_8.2dfsg-3build1_amd64.deb
20.92M
2020-03-23 13:24:11
acl2-books-source_8.2dfsg-3build1_all.deb
13.63M
2020-03-23 13:24:10
acl2-doc_8.2dfsg-3build1_all.deb
418.1K
2020-03-23 13:24:10
acl2-emacs_8.2dfsg-3build1_all.deb
59.1K
2020-03-23 13:24:10
acl2-infix_8.2dfsg-3build1_amd64.deb
469.9K
2020-03-23 13:24:10
acl2-source_8.2dfsg-3build1_all.deb
3.12M
2020-03-23 13:24:10
acl2-books_8.2dfsg-3build1_amd64.deb
163.36M
2020-03-23 13:24:09
acl2-books-certs_8.2dfsg-3build1_all.deb
65.78M
2020-03-23 13:24:07
acl2-infix-source_8.2dfsg-3build1_all.deb
70.2K
2020-03-23 13:24:07