Index of /pool/universe/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 11-Sep-2025 17:54            73403184
acl2-books-certs_8.2dfsg-3build1_all.deb           03-Sep-2025 18:23            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 04-Sep-2025 21:35           231831222
acl2-books-certs_8.5dfsg-5build3_all.deb           04-Sep-2025 17:45           226234436
acl2-books-source_8.0dfsg-1_all.deb                11-Sep-2025 17:52            12466104
acl2-books-source_8.2dfsg-3build1_all.deb          03-Sep-2025 17:52            14290112
acl2-books-source_8.4dfsg-2_all.deb                04-Sep-2025 21:55            22136204
acl2-books-source_8.5dfsg-5build3_all.deb          04-Sep-2025 16:55            23801362
acl2-books_8.0dfsg-1_amd64.deb                     11-Sep-2025 18:00           138083420
acl2-books_8.2dfsg-3build1_amd64.deb               03-Sep-2025 17:55           171294740
acl2-books_8.4dfsg-2_amd64.deb                     04-Sep-2025 21:29           353947352
acl2-books_8.5dfsg-5build3_amd64.deb               04-Sep-2025 17:17           346555008
acl2-doc_8.0dfsg-1_all.deb                         11-Sep-2025 17:43              394360
acl2-doc_8.2dfsg-3build1_all.deb                   03-Sep-2025 18:16              428100
acl2-doc_8.4dfsg-2_all.deb                         04-Sep-2025 21:51              451656
acl2-doc_8.5dfsg-5build3_all.deb                   04-Sep-2025 17:38              485308
acl2-emacs_8.0dfsg-1_all.deb                       11-Sep-2025 17:40               60340
acl2-emacs_8.2dfsg-3build1_all.deb                 03-Sep-2025 17:48               60520
acl2-infix-source_8.0dfsg-1_all.deb                11-Sep-2025 17:51               71888
acl2-infix-source_8.2dfsg-3build1_all.deb          03-Sep-2025 18:21               71920
acl2-infix-source_8.4dfsg-2_all.deb                04-Sep-2025 22:00               73680
acl2-infix-source_8.5dfsg-5build3_all.deb          04-Sep-2025 17:08               74148
acl2-infix_8.0dfsg-1_amd64.deb                     11-Sep-2025 18:02              424152
acl2-infix_8.2dfsg-3build1_amd64.deb               03-Sep-2025 18:18              481148
acl2-infix_8.4dfsg-2_amd64.deb                     04-Sep-2025 21:51              564006
acl2-infix_8.5dfsg-5build3_amd64.deb               04-Sep-2025 17:09              551042
acl2-source_8.0dfsg-1_all.deb                      11-Sep-2025 18:04             3074488
acl2-source_8.2dfsg-3build1_all.deb                03-Sep-2025 18:02             3268812
acl2-source_8.4dfsg-2_all.deb                      04-Sep-2025 21:51             3536828
acl2-source_8.5dfsg-5build3_all.deb                04-Sep-2025 18:00             3652452
acl2_8.0dfsg-1_amd64.deb                           11-Sep-2025 17:53            19704384
acl2_8.2dfsg-3build1_amd64.deb                     03-Sep-2025 18:09            21932904
acl2_8.4dfsg-2_amd64.deb                           04-Sep-2025 21:26            26133150
acl2_8.5dfsg-5build3_amd64.deb                     04-Sep-2025 17:39            26854572
elpa-acl2_8.4dfsg-2_all.deb                        04-Sep-2025 21:49               70790
elpa-acl2_8.5dfsg-5build3_all.deb                  04-Sep-2025 17:28               72432