Index of /repo/debian/pool/main/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2-emacs_8.0dfsg-1..>
2018-01-13 17:22
66K
acl2-emacs_8.3dfsg-2..>
2021-01-28 05:55
68K
elpa-acl2_8.5dfsg-5_..>
2023-01-16 18:25
69K
elpa-acl2_8.5dfsg-6_..>
2024-07-29 03:14
69K
acl2-infix-source_8...>
2023-01-16 18:25
71K
acl2-infix-source_8...>
2024-07-29 03:14
71K
acl2-infix-source_8...>
2018-01-13 17:22
77K
acl2-infix-source_8...>
2021-01-28 05:55
78K
acl2-doc_8.0dfsg-1_a..>
2018-01-13 17:22
392K
acl2-infix_8.0dfsg-1..>
2018-01-13 17:22
422K
acl2-doc_8.3dfsg-2_a..>
2021-01-28 05:55
437K
acl2-infix_8.5dfsg-5..>
2023-01-16 23:45
464K
acl2-infix_8.5dfsg-6..>
2024-07-29 02:48
465K
acl2-doc_8.5dfsg-5_a..>
2023-01-16 18:25
470K
acl2-doc_8.5dfsg-6_a..>
2024-07-29 03:14
470K
acl2-infix_8.3dfsg-2..>
2021-01-28 01:27
479K
acl2-source_8.0dfsg-..>
2018-01-13 17:22
2.9M
acl2-source_8.3dfsg-..>
2021-01-28 05:55
3.2M
acl2-source_8.5dfsg-..>
2024-07-29 03:14
3.4M
acl2-source_8.5dfsg-..>
2023-01-16 18:25
3.4M
acl2-books-source_8...>
2018-01-13 17:22
12M
acl2-books-source_8...>
2021-01-28 05:55
19M
acl2_8.0dfsg-1_amd64..>
2018-01-13 17:22
19M
acl2_8.3dfsg-2_amd64..>
2021-01-28 01:27
20M
acl2_8.5dfsg-6_amd64..>
2024-07-29 02:48
22M
acl2_8.5dfsg-5_amd64..>
2023-01-16 23:45
22M
acl2-books-source_8...>
2024-07-29 03:14
24M
acl2-books-source_8...>
2023-01-16 18:25
24M
acl2-books-certs_8.5..>
2024-07-29 03:14
64M
acl2-books-certs_8.0..>
2018-01-13 17:22
70M
acl2-books_8.0dfsg-1..>
2018-01-13 17:22
132M
acl2-books-certs_8.3..>
2021-01-28 05:55
139M
acl2-books_8.5dfsg-6..>
2024-07-29 02:48
151M
acl2-books-certs_8.5..>
2023-01-16 18:25
170M
acl2-books_8.3dfsg-2..>
2021-01-28 01:27
241M
acl2-books_8.5dfsg-5..>
2023-01-16 23:45
287M