Index of /debian/pool/main/a/acl2/
../
acl2-books-certs_8.3dfsg-2_all.deb 12-May-2025 11:33 145388148
acl2-books-certs_8.5dfsg-5_all.deb 17-Dec-2025 00:02 178375056
acl2-books-certs_8.5dfsg-6_all.deb 08-May-2025 02:38 67277268
acl2-books-certs_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 61992960
acl2-books-source_8.3dfsg-2_all.deb 12-May-2025 11:33 19539252
acl2-books-source_8.5dfsg-5_all.deb 17-Dec-2025 00:02 24662324
acl2-books-source_8.5dfsg-6_all.deb 08-May-2025 02:38 24660204
acl2-books-source_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 27502672
acl2-books_8.3dfsg-2_amd64.deb 12-May-2025 11:33 252878684
acl2-books_8.5dfsg-5+b1_amd64.deb 03-Aug-2024 01:51 301318764
acl2-books_8.5dfsg-5+b1_i386.deb 03-Aug-2024 01:52 259597340
acl2-books_8.5dfsg-5_amd64.deb 17-Dec-2025 00:02 300900920
acl2-books_8.5dfsg-5_i386.deb 26-Apr-2024 01:30 259607668
acl2-books_8.5dfsg-6_amd64.deb 08-May-2025 02:37 158343720
acl2-books_8.5dfsg-6_i386.deb 08-May-2025 02:38 139327964
acl2-books_8.6+dfsg-2_amd64.deb 16-Dec-2025 23:58 64880640
acl2-books_8.6+dfsg-2_i386.deb 17-Dec-2025 00:00 360999248
acl2-doc_8.3dfsg-2_all.deb 12-May-2025 11:33 447608
acl2-doc_8.5dfsg-5_all.deb 17-Dec-2025 00:02 481328
acl2-doc_8.5dfsg-6_all.deb 08-May-2025 02:38 481452
acl2-doc_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 524912
acl2-emacs_8.3dfsg-2_all.deb 12-May-2025 11:33 69412
acl2-infix-source_8.3dfsg-2_all.deb 12-May-2025 11:33 79880
acl2-infix-source_8.5dfsg-5_all.deb 17-Dec-2025 00:02 72332
acl2-infix-source_8.5dfsg-6_all.deb 08-May-2025 02:38 72392
acl2-infix-source_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 72652
acl2-infix_8.3dfsg-2_amd64.deb 12-May-2025 11:33 490280
acl2-infix_8.5dfsg-5+b1_amd64.deb 03-Aug-2024 01:51 478324
acl2-infix_8.5dfsg-5+b1_i386.deb 03-Aug-2024 01:52 490400
acl2-infix_8.5dfsg-5_amd64.deb 17-Dec-2025 00:02 475288
acl2-infix_8.5dfsg-5_i386.deb 26-Apr-2024 01:30 488940
acl2-infix_8.5dfsg-6_amd64.deb 08-May-2025 02:37 476332
acl2-infix_8.5dfsg-6_i386.deb 08-May-2025 02:38 486604
acl2-infix_8.6+dfsg-2_amd64.deb 16-Dec-2025 23:58 886800
acl2-infix_8.6+dfsg-2_i386.deb 17-Dec-2025 00:00 872680
acl2-source_8.3dfsg-2_all.deb 12-May-2025 11:33 3339896
acl2-source_8.5dfsg-5_all.deb 17-Dec-2025 00:02 3587888
acl2-source_8.5dfsg-6_all.deb 08-May-2025 02:38 3587740
acl2-source_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 3996788
acl2_8.3dfsg-2_amd64.deb 12-May-2025 11:33 21481292
acl2_8.5dfsg-5+b1_amd64.deb 03-Aug-2024 01:51 23420804
acl2_8.5dfsg-5+b1_i386.deb 03-Aug-2024 01:52 20418672
acl2_8.5dfsg-5_amd64.deb 17-Dec-2025 00:02 23408224
acl2_8.5dfsg-5_i386.deb 26-Apr-2024 01:30 20377820
acl2_8.5dfsg-6_amd64.deb 08-May-2025 02:37 23126480
acl2_8.5dfsg-6_i386.deb 08-May-2025 02:38 20100452
acl2_8.6+dfsg-2_amd64.deb 16-Dec-2025 23:58 36900528
acl2_8.6+dfsg-2_i386.deb 17-Dec-2025 00:00 40681708
elpa-acl2_8.5dfsg-5_all.deb 17-Dec-2025 00:02 70628
elpa-acl2_8.5dfsg-6_all.deb 08-May-2025 02:38 70664
elpa-acl2_8.6+dfsg-2_all.deb 17-Dec-2025 00:00 78264