Index of /ubuntu-old/pool/universe/a/acl2/
name
size
date
acl2_8.5dfsg-6_amd64.deb
25.26M
2025-09-12 22:48:07
elpa-acl2_8.5dfsg-6_all.deb
70.8K
2025-09-12 22:48:07
acl2-infix_8.5dfsg-6_amd64.deb
0.52M
2025-09-12 22:48:05
acl2-source_8.5dfsg-6_all.deb
3.48M
2025-09-12 22:48:05
acl2-books_8.5dfsg-6_amd64.deb
170.51M
2025-09-12 22:48:04
acl2-doc_8.5dfsg-6_all.deb
473.8K
2025-09-12 22:48:04
acl2-infix-source_8.5dfsg-6_all.deb
72.3K
2025-09-12 22:48:04
acl2-books-source_8.5dfsg-6_all.deb
22.71M
2025-09-12 22:47:55
acl2-books-certs_8.5dfsg-6_all.deb
78.65M
2025-09-12 22:47:54
acl2_8.5dfsg-5_amd64.deb
25.70M
2024-11-15 02:36:24
elpa-acl2_8.5dfsg-5_all.deb
70.3K
2024-11-15 02:36:24
acl2-source_8.5dfsg-5_all.deb
3.48M
2024-11-15 02:36:22
acl2-books_8.5dfsg-5_amd64.deb
329.32M
2024-11-15 02:36:21
acl2-doc_8.5dfsg-5_all.deb
473.4K
2024-11-15 02:36:21
acl2-infix-source_8.5dfsg-5_all.deb
71.9K
2024-11-15 02:36:21
acl2-infix_8.5dfsg-5_amd64.deb
0.52M
2024-11-15 02:36:21
acl2-books-source_8.5dfsg-5_all.deb
22.90M
2024-11-15 02:35:46
acl2-books-certs_8.5dfsg-5_all.deb
216.20M
2024-11-15 02:35:45
acl2_8.5dfsg-1_amd64.deb
25.80M
2023-08-11 03:15:38
elpa-acl2_8.5dfsg-1_all.deb
70.3K
2023-08-11 03:15:38
acl2-source_8.5dfsg-1_all.deb
3.48M
2023-08-11 03:15:31
acl2-infix_8.5dfsg-1_amd64.deb
0.52M
2023-08-11 03:15:28
acl2-books_8.5dfsg-1_amd64.deb
335.39M
2023-08-11 03:15:27
acl2-doc_8.5dfsg-1_all.deb
473.4K
2023-08-11 03:15:27
acl2-infix-source_8.5dfsg-1_all.deb
71.8K
2023-08-11 03:15:27
acl2-books-source_8.5dfsg-1_all.deb
22.74M
2023-08-11 03:14:07
acl2-books-certs_8.5dfsg-1_all.deb
220.11M
2023-08-11 03:13:48
acl2_8.3dfsg-2_amd64.deb
20.53M
2023-03-29 21:34:57
acl2-source_8.3dfsg-2_all.deb
3.18M
2023-03-29 21:34:56
acl2-books_8.3dfsg-2_amd64.deb
240.91M
2023-03-29 21:34:55
acl2-doc_8.3dfsg-2_all.deb
429.4K
2023-03-29 21:34:55
acl2-emacs_8.3dfsg-2_all.deb
60.2K
2023-03-29 21:34:55
acl2-infix-source_8.3dfsg-2_all.deb
70.3K
2023-03-29 21:34:55
acl2-infix_8.3dfsg-2_amd64.deb
471.5K
2023-03-29 21:34:55
acl2-books-certs_8.3dfsg-2_all.deb
138.55M
2023-03-29 21:34:45
acl2-books-source_8.3dfsg-2_all.deb
18.63M
2023-03-29 21:34:45
acl2_8.3dfsg-1_amd64.deb
20.26M
2022-02-24 21:23:52
acl2-doc_8.3dfsg-1_all.deb
429.4K
2022-02-24 21:23:50
acl2-emacs_8.3dfsg-1_all.deb
60.0K
2022-02-24 21:23:50
acl2-infix-source_8.3dfsg-1_all.deb
70.2K
2022-02-24 21:23:50
acl2-infix_8.3dfsg-1_amd64.deb
472.2K
2022-02-24 21:23:50
acl2-source_8.3dfsg-1_all.deb
3.18M
2022-02-24 21:23:50
acl2-books-source_8.3dfsg-1_all.deb
18.61M
2022-02-24 21:23:49
acl2-books_8.3dfsg-1_amd64.deb
4.2K
2022-02-24 21:23:49
acl2-books-certs_8.3dfsg-1_all.deb
5.7K
2022-02-24 21:23:48
acl2_3.4-2_amd64.deb
20.62M
2022-01-19 08:08:36
acl2-source_3.4-2_all.deb
2.49M
2022-01-19 08:08:35
acl2-doc_3.4-2_all.deb
2.19M
2022-01-19 08:08:34
acl2-emacs_3.4-2_all.deb
53.8K
2022-01-19 08:08:34
acl2-infix-source_3.4-2_all.deb
84.0K
2022-01-19 08:08:34
acl2-infix_3.4-2_amd64.deb
408.3K
2022-01-19 08:08:34
acl2-books_3.4-2_amd64.deb
23.45M
2022-01-19 08:08:33
acl2-books-certs_3.4-2_all.deb
1.21M
2022-01-19 08:08:31
acl2-books-source_3.4-2_all.deb
2.72M
2022-01-19 08:08:31