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