Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_4.2-1_all.deb 21-Mar-2025 17:44 1984690
acl2-books-certs_6.3-5_all.deb 21-Mar-2025 17:44 11641112
acl2-books-certs_7.1-1_all.deb 21-Mar-2025 17:44 13191160
acl2-books-certs_8.0dfsg-1_all.deb 21-Mar-2025 17:44 73403184
acl2-books-certs_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 68979892
acl2-books-certs_8.3dfsg-1_all.deb 21-Mar-2025 17:44 5868
acl2-books-source_4.2-1_all.deb 21-Mar-2025 17:44 5119974
acl2-books-source_6.3-5_all.deb 21-Mar-2025 17:44 9570222
acl2-books-source_7.1-1_all.deb 21-Mar-2025 17:44 10333152
acl2-books-source_8.0dfsg-1_all.deb 21-Mar-2025 17:44 12466104
acl2-books-source_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 14290112
acl2-books-source_8.3dfsg-1_all.deb 21-Mar-2025 17:44 19512656
acl2-books_4.2-1_amd64.deb 21-Mar-2025 17:44 41344624
acl2-books_4.2-1_i386.deb 21-Mar-2025 17:44 36080612
acl2-books_6.3-5_amd64.deb 21-Mar-2025 17:44 42067578
acl2-books_6.3-5_i386.deb 21-Mar-2025 17:44 37550284
acl2-books_7.1-1_amd64.deb 21-Mar-2025 17:44 19608788
acl2-books_7.1-1_i386.deb 21-Mar-2025 17:44 18602828
acl2-books_8.0dfsg-1_amd64.deb 21-Mar-2025 17:44 138083420
acl2-books_8.0dfsg-1_i386.deb 21-Mar-2025 17:44 119603224
acl2-books_8.2dfsg-3build1_amd64.deb 21-Mar-2025 17:44 171294740
acl2-books_8.3dfsg-1_amd64.deb 21-Mar-2025 17:44 4268
acl2-doc_4.2-1_all.deb 21-Mar-2025 17:44 270088
acl2-doc_6.3-5_all.deb 21-Mar-2025 17:44 12728778
acl2-doc_7.1-1_all.deb 21-Mar-2025 17:44 361780
acl2-doc_8.0dfsg-1_all.deb 21-Mar-2025 17:44 394360
acl2-doc_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 428100
acl2-doc_8.3dfsg-1_all.deb 21-Mar-2025 17:44 439672
acl2-emacs_4.2-1_all.deb 21-Mar-2025 17:44 52768
acl2-emacs_6.3-5_all.deb 21-Mar-2025 17:44 56302
acl2-emacs_7.1-1_all.deb 21-Mar-2025 17:44 56524
acl2-emacs_8.0dfsg-1_all.deb 21-Mar-2025 17:44 60340
acl2-emacs_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 60520
acl2-emacs_8.3dfsg-1_all.deb 21-Mar-2025 17:44 61392
acl2-infix-source_4.2-1_all.deb 21-Mar-2025 17:44 81590
acl2-infix-source_6.3-5_all.deb 21-Mar-2025 17:44 88034
acl2-infix-source_7.1-1_all.deb 21-Mar-2025 17:44 72020
acl2-infix-source_8.0dfsg-1_all.deb 21-Mar-2025 17:44 71888
acl2-infix-source_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 71920
acl2-infix-source_8.3dfsg-1_all.deb 21-Mar-2025 17:44 71848
acl2-infix_4.2-1_amd64.deb 21-Mar-2025 17:44 448738
acl2-infix_4.2-1_i386.deb 21-Mar-2025 17:44 409750
acl2-infix_6.3-5_amd64.deb 21-Mar-2025 17:44 205126
acl2-infix_6.3-5_i386.deb 21-Mar-2025 17:44 193572
acl2-infix_7.1-1_amd64.deb 21-Mar-2025 17:44 143558
acl2-infix_7.1-1_i386.deb 21-Mar-2025 17:44 145560
acl2-infix_8.0dfsg-1_amd64.deb 21-Mar-2025 17:44 424152
acl2-infix_8.0dfsg-1_i386.deb 21-Mar-2025 17:44 390264
acl2-infix_8.2dfsg-3build1_amd64.deb 21-Mar-2025 17:44 481148
acl2-infix_8.3dfsg-1_amd64.deb 21-Mar-2025 17:44 483504
acl2-source_4.2-1_all.deb 21-Mar-2025 17:44 3124826
acl2-source_6.3-5_all.deb 21-Mar-2025 17:44 3795138
acl2-source_7.1-1_all.deb 21-Mar-2025 17:44 2838230
acl2-source_8.0dfsg-1_all.deb 21-Mar-2025 17:44 3074488
acl2-source_8.2dfsg-3build1_all.deb 21-Mar-2025 17:44 3268812
acl2-source_8.3dfsg-1_all.deb 21-Mar-2025 17:44 3331948
acl2_4.2-1.debian.tar.gz 21-Mar-2025 17:44 17887
acl2_4.2-1.dsc 21-Mar-2025 17:44 1194
acl2_4.2-1_amd64.deb 21-Mar-2025 17:44 26579714
acl2_4.2-1_i386.deb 21-Mar-2025 17:44 22815150
acl2_4.2.orig.tar.gz 21-Mar-2025 17:44 11699557
acl2_6.3-5.debian.tar.gz 21-Mar-2025 17:44 161480
acl2_6.3-5.dsc 21-Mar-2025 17:44 1749
acl2_6.3-5_amd64.deb 21-Mar-2025 17:44 27878170
acl2_6.3-5_i386.deb 21-Mar-2025 17:44 24013356
acl2_6.3.orig-books.tar.gz 21-Mar-2025 17:44 13598991
acl2_6.3.orig.tar.gz 21-Mar-2025 17:44 7068895
acl2_7.1-1.debian.tar.xz 21-Mar-2025 17:44 128900
acl2_7.1-1.dsc 21-Mar-2025 17:44 2203
acl2_7.1-1_amd64.deb 21-Mar-2025 17:44 17277416
acl2_7.1-1_i386.deb 21-Mar-2025 17:44 16463104
acl2_7.1.orig.tar.gz 21-Mar-2025 17:44 63342334
acl2_8.0dfsg-1.debian.tar.xz 21-Mar-2025 17:44 204760
acl2_8.0dfsg-1.dsc 21-Mar-2025 17:44 2245
acl2_8.0dfsg-1_amd64.deb 21-Mar-2025 17:44 19704384
acl2_8.0dfsg-1_i386.deb 21-Mar-2025 17:44 16994892
acl2_8.0dfsg.orig.tar.gz 21-Mar-2025 17:44 77635571
acl2_8.2dfsg-3build1.debian.tar.xz 21-Mar-2025 17:44 206024
acl2_8.2dfsg-3build1.dsc 21-Mar-2025 17:44 2296
acl2_8.2dfsg-3build1_amd64.deb 21-Mar-2025 17:44 21932904
acl2_8.2dfsg.orig.tar.gz 21-Mar-2025 17:44 80652725
acl2_8.3dfsg-1.debian.tar.xz 21-Mar-2025 17:44 205984
acl2_8.3dfsg-1.dsc 21-Mar-2025 17:44 2250
acl2_8.3dfsg-1_amd64.deb 21-Mar-2025 17:44 21248960
acl2_8.3dfsg.orig.tar.gz 21-Mar-2025 17:44 117260902