Index of /pool/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 06-Apr-2022 20:29            73403184
acl2-books-certs_8.2dfsg-3build1_all.deb           02-Apr-2022 06:35            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 31-Mar-2022 20:01           231831222
acl2-books-certs_8.5dfsg-5build3_all.deb           07-Apr-2024 20:51           226234436
acl2-books-source_8.0dfsg-1_all.deb                06-Apr-2022 20:03            12466104
acl2-books-source_8.2dfsg-3build1_all.deb          02-Apr-2022 04:37            14290112
acl2-books-source_8.4dfsg-2_all.deb                31-Mar-2022 18:39            22136204
acl2-books-source_8.5dfsg-5build3_all.deb          07-Apr-2024 20:42            23801362
acl2-books_8.0dfsg-1_amd64.deb                     06-Apr-2022 21:23           138083420
acl2-books_8.2dfsg-3build1_amd64.deb               02-Apr-2022 06:45           171294740
acl2-books_8.4dfsg-2_amd64.deb                     31-Mar-2022 21:07           353947352
acl2-books_8.5dfsg-5build3_amd64.deb               07-Apr-2024 20:44           346555008
acl2-doc_8.0dfsg-1_all.deb                         06-Apr-2022 20:01              394360
acl2-doc_8.2dfsg-3build1_all.deb                   02-Apr-2022 06:44              428100
acl2-doc_8.4dfsg-2_all.deb                         31-Mar-2022 18:21              451656
acl2-doc_8.5dfsg-5build3_all.deb                   07-Apr-2024 20:51              485308
acl2-emacs_8.0dfsg-1_all.deb                       06-Apr-2022 19:39               60340
acl2-emacs_8.2dfsg-3build1_all.deb                 02-Apr-2022 07:14               60520
acl2-infix-source_8.0dfsg-1_all.deb                06-Apr-2022 19:59               71888
acl2-infix-source_8.2dfsg-3build1_all.deb          02-Apr-2022 06:03               71920
acl2-infix-source_8.4dfsg-2_all.deb                31-Mar-2022 20:39               73680
acl2-infix-source_8.5dfsg-5build3_all.deb          07-Apr-2024 20:41               74148
acl2-infix_8.0dfsg-1_amd64.deb                     06-Apr-2022 20:15              424152
acl2-infix_8.2dfsg-3build1_amd64.deb               02-Apr-2022 06:52              481148
acl2-infix_8.4dfsg-2_amd64.deb                     31-Mar-2022 20:56              564006
acl2-infix_8.5dfsg-5build3_amd64.deb               07-Apr-2024 20:50              551042
acl2-source_8.0dfsg-1_all.deb                      06-Apr-2022 20:05             3074488
acl2-source_8.2dfsg-3build1_all.deb                02-Apr-2022 05:27             3268812
acl2-source_8.4dfsg-2_all.deb                      31-Mar-2022 22:25             3536828
acl2-source_8.5dfsg-5build3_all.deb                07-Apr-2024 20:50             3652452
acl2_8.0dfsg-1_amd64.deb                           06-Apr-2022 20:45            19704384
acl2_8.2dfsg-3build1_amd64.deb                     02-Apr-2022 04:58            21932904
acl2_8.4dfsg-2_amd64.deb                           31-Mar-2022 18:01            26133150
acl2_8.5dfsg-5build3_amd64.deb                     07-Apr-2024 20:52            26854572
elpa-acl2_8.4dfsg-2_all.deb                        31-Mar-2022 22:09               70790
elpa-acl2_8.5dfsg-5build3_all.deb                  07-Apr-2024 20:50               72432