Index of /raspbian/pool/main/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
elpa-acl2_8.5dfsg-6_..>
2024-07-29 06:44
69K
elpa-acl2_8.5dfsg-5_..>
2023-01-16 21:55
69K
acl2_8.5dfsg.orig.ta..>
2022-07-27 21:13
213M
acl2_8.5dfsg-6_armhf..>
2024-10-04 17:08
18M
acl2_8.5dfsg-6.dsc
2024-08-03 11:40
2.2K
acl2_8.5dfsg-6.debia..>
2024-08-03 11:41
306K
acl2_8.5dfsg-5_armhf..>
2023-01-26 17:08
18M
acl2_8.5dfsg-5.dsc
2023-01-16 09:00
2.2K
acl2_8.5dfsg-5.debia..>
2023-01-16 09:00
306K
acl2_8.3dfsg.orig.ta..>
2020-08-24 09:39
112M
acl2_8.3dfsg-2.dsc
2021-01-27 21:34
2.2K
acl2_8.3dfsg-2.debia..>
2021-01-27 21:34
223K
acl2_8.3dfsg-1_armhf..>
2020-08-29 17:08
17M
acl2_8.3dfsg-1.dsc
2020-08-24 09:39
2.2K
acl2_8.3dfsg-1.debia..>
2020-08-24 09:39
201K
acl2_8.0dfsg.orig.ta..>
2018-01-13 20:52
74M
acl2_8.0dfsg-1_armhf..>
2022-05-01 16:11
16M
acl2_8.0dfsg-1.dsc
2018-01-13 20:52
2.2K
acl2_8.0dfsg-1.debia..>
2018-01-13 20:52
200K
acl2-source_8.5dfsg-..>
2024-07-29 06:44
3.4M
acl2-source_8.5dfsg-..>
2023-01-16 21:55
3.4M
acl2-source_8.3dfsg-..>
2021-01-28 09:25
3.2M
acl2-source_8.3dfsg-..>
2020-08-24 11:11
3.2M
acl2-source_8.0dfsg-..>
2018-01-13 20:52
2.9M
acl2-infix_8.5dfsg-6..>
2024-10-04 17:08
459K
acl2-infix_8.5dfsg-5..>
2023-01-26 17:08
457K
acl2-infix_8.3dfsg-1..>
2020-08-29 17:08
431K
acl2-infix_8.0dfsg-1..>
2022-05-01 16:11
432K
acl2-infix-source_8...>
2024-07-29 06:44
71K
acl2-infix-source_8...>
2023-01-16 21:55
71K
acl2-infix-source_8...>
2021-01-28 09:25
78K
acl2-infix-source_8...>
2020-08-24 11:11
78K
acl2-infix-source_8...>
2018-01-13 20:52
77K
acl2-emacs_8.3dfsg-2..>
2021-01-28 09:25
68K
acl2-emacs_8.3dfsg-1..>
2020-08-24 11:11
68K
acl2-emacs_8.0dfsg-1..>
2018-01-13 20:52
66K
acl2-doc_8.5dfsg-6_a..>
2024-07-29 06:44
470K
acl2-doc_8.5dfsg-5_a..>
2023-01-16 21:55
470K
acl2-doc_8.3dfsg-2_a..>
2021-01-28 09:25
437K
acl2-doc_8.3dfsg-1_a..>
2020-08-24 11:11
437K
acl2-doc_8.0dfsg-1_a..>
2018-01-13 20:52
392K
acl2-books_8.5dfsg-6..>
2024-10-04 17:08
270M
acl2-books_8.5dfsg-5..>
2023-01-26 17:08
266M
acl2-books_8.3dfsg-1..>
2020-08-29 17:08
13K
acl2-books_8.0dfsg-1..>
2022-05-01 16:11
128M
acl2-books-source_8...>
2024-07-29 06:44
24M
acl2-books-source_8...>
2023-01-16 21:55
24M
acl2-books-source_8...>
2021-01-28 09:25
19M
acl2-books-source_8...>
2020-08-24 11:11
19M
acl2-books-source_8...>
2018-01-13 20:52
12M
acl2-books-certs_8.5..>
2024-07-29 06:44
64M
acl2-books-certs_8.5..>
2023-01-16 21:55
170M
acl2-books-certs_8.3..>
2021-01-28 09:25
139M
acl2-books-certs_8.3..>
2020-08-24 11:11
13K
acl2-books-certs_8.0..>
2018-01-13 20:52
70M