acl2

Name	Size	Modified
Up
acl2-books-certs_8.0dfsg-1_all.deb	70 MiB	01/14/2018 03:08:17 AM +00:00
acl2-books-certs_8.2dfsg-3build1_all.deb	66 MiB	03/23/2020 01:24:07 PM +00:00
acl2-books-certs_8.4dfsg-2_all.deb	221 MiB	12/19/2021 01:10:18 AM +00:00
acl2-books-certs_8.5dfsg-5build3_all.deb	216 MiB	04/02/2024 08:03:00 AM +00:00
acl2-books-source_8.0dfsg-1_all.deb	12 MiB	01/14/2018 03:08:16 AM +00:00
acl2-books-source_8.2dfsg-3build1_all.deb	14 MiB	03/23/2020 01:24:10 PM +00:00
acl2-books-source_8.4dfsg-2_all.deb	21 MiB	12/19/2021 01:10:25 AM +00:00
acl2-books-source_8.5dfsg-5build3_all.deb	23 MiB	04/02/2024 08:02:58 AM +00:00
acl2-books_8.0dfsg-1_amd64.deb	132 MiB	01/14/2018 03:08:15 AM +00:00
acl2-books_8.2dfsg-3build1_amd64.deb	163 MiB	03/23/2020 01:24:09 PM +00:00
acl2-books_8.4dfsg-2_amd64.deb	338 MiB	12/19/2021 01:09:59 AM +00:00
acl2-books_8.5dfsg-5build3_amd64.deb	330 MiB	04/02/2024 08:03:05 AM +00:00
acl2-doc_8.0dfsg-1_all.deb	385 KiB	01/14/2018 03:08:13 AM +00:00
acl2-doc_8.2dfsg-3build1_all.deb	418 KiB	03/23/2020 01:24:10 PM +00:00
acl2-doc_8.4dfsg-2_all.deb	441 KiB	12/19/2021 01:09:59 AM +00:00
acl2-doc_8.5dfsg-5build3_all.deb	474 KiB	04/02/2024 08:02:57 AM +00:00
acl2-emacs_8.0dfsg-1_all.deb	59 KiB	01/14/2018 03:08:17 AM +00:00
acl2-emacs_8.2dfsg-3build1_all.deb	59 KiB	03/23/2020 01:24:10 PM +00:00
acl2-infix-source_8.0dfsg-1_all.deb	70 KiB	01/14/2018 03:08:12 AM +00:00
acl2-infix-source_8.2dfsg-3build1_all.deb	70 KiB	03/23/2020 01:24:07 PM +00:00
acl2-infix-source_8.4dfsg-2_all.deb	72 KiB	12/19/2021 01:10:26 AM +00:00
acl2-infix-source_8.5dfsg-5build3_all.deb	72 KiB	04/02/2024 08:02:57 AM +00:00
acl2-infix_8.0dfsg-1_amd64.deb	414 KiB	01/14/2018 03:08:13 AM +00:00
acl2-infix_8.2dfsg-3build1_amd64.deb	470 KiB	03/23/2020 01:24:10 PM +00:00
acl2-infix_8.4dfsg-2_amd64.deb	551 KiB	12/19/2021 01:09:06 AM +00:00
acl2-infix_8.5dfsg-5build3_amd64.deb	538 KiB	04/02/2024 08:02:57 AM +00:00
acl2-source_8.0dfsg-1_all.deb	2.9 MiB	01/14/2018 03:08:13 AM +00:00
acl2-source_8.2dfsg-3build1_all.deb	3.1 MiB	03/23/2020 01:24:10 PM +00:00
acl2-source_8.4dfsg-2_all.deb	3.4 MiB	12/19/2021 01:10:00 AM +00:00
acl2-source_8.5dfsg-5build3_all.deb	3.5 MiB	04/02/2024 08:02:57 AM +00:00
acl2_8.0dfsg-1_amd64.deb	19 MiB	01/14/2018 03:08:15 AM +00:00
acl2_8.2dfsg-3build1_amd64.deb	21 MiB	03/23/2020 01:24:11 PM +00:00
acl2_8.4dfsg-2_amd64.deb	25 MiB	12/19/2021 01:10:20 AM +00:00
acl2_8.5dfsg-5build3_amd64.deb	26 MiB	04/02/2024 08:03:05 AM +00:00
elpa-acl2_8.4dfsg-2_all.deb	69 KiB	12/19/2021 01:09:07 AM +00:00
elpa-acl2_8.5dfsg-5build3_all.deb	71 KiB	04/02/2024 08:02:57 AM +00:00