Index of /repos/pool/main/a/acl2/


../
acl2-books-certs_8.0dfsg-1_all.deb                 26-Sep-2025 07:23     70M
acl2-books-certs_8.3dfsg-2_all.deb                 27-Sep-2025 17:25    139M
acl2-books-certs_8.5dfsg-5_all.deb                 27-Sep-2025 09:11    170M
acl2-books-certs_8.6+dfsg-2_all.deb                26-Sep-2025 19:27    211M
acl2-books-source_8.0dfsg-1_all.deb                26-Sep-2025 07:23     12M
acl2-books-source_8.3dfsg-2_all.deb                27-Sep-2025 17:25     19M
acl2-books-source_8.5dfsg-5_all.deb                27-Sep-2025 09:11     24M
acl2-books-source_8.6+dfsg-2_all.deb               26-Sep-2025 19:27     26M
acl2-books_8.0dfsg-1_amd64.deb                     26-Sep-2025 07:22    132M
acl2-books_8.0dfsg-1_i386.deb                      26-Sep-2025 07:22    111M
acl2-books_8.3dfsg-2_amd64.deb                     27-Sep-2025 17:24    241M
acl2-books_8.3dfsg-2_i386.deb                      27-Sep-2025 17:24    204M
acl2-books_8.5dfsg-5_amd64.deb                     27-Sep-2025 09:11    287M
acl2-books_8.5dfsg-5_i386.deb                      27-Sep-2025 09:11    248M
acl2-books_8.6+dfsg-2_amd64.deb                    26-Sep-2025 19:26    416M
acl2-books_8.6+dfsg-2_i386.deb                     26-Sep-2025 19:26    344M
acl2-doc_8.0dfsg-1_all.deb                         26-Sep-2025 07:23    392K
acl2-doc_8.3dfsg-2_all.deb                         27-Sep-2025 17:25    437K
acl2-doc_8.5dfsg-5_all.deb                         27-Sep-2025 09:11    470K
acl2-doc_8.6+dfsg-2_all.deb                        26-Sep-2025 19:27    513K
acl2-emacs_8.0dfsg-1_all.deb                       26-Sep-2025 07:23     66K
acl2-emacs_8.3dfsg-2_all.deb                       27-Sep-2025 17:25     68K
acl2-infix-source_8.0dfsg-1_all.deb                26-Sep-2025 07:23     77K
acl2-infix-source_8.3dfsg-2_all.deb                27-Sep-2025 17:25     78K
acl2-infix-source_8.5dfsg-5_all.deb                27-Sep-2025 09:11     71K
acl2-infix-source_8.6+dfsg-2_all.deb               26-Sep-2025 19:27     71K
acl2-infix_8.0dfsg-1_amd64.deb                     26-Sep-2025 07:23    422K
acl2-infix_8.0dfsg-1_i386.deb                      26-Sep-2025 07:23    390K
acl2-infix_8.3dfsg-2_amd64.deb                     27-Sep-2025 17:25    479K
acl2-infix_8.3dfsg-2_i386.deb                      27-Sep-2025 17:25    485K
acl2-infix_8.5dfsg-5_amd64.deb                     27-Sep-2025 09:11    464K
acl2-infix_8.5dfsg-5_i386.deb                      27-Sep-2025 09:11    477K
acl2-infix_8.6+dfsg-2_amd64.deb                    26-Sep-2025 19:27    866K
acl2-infix_8.6+dfsg-2_i386.deb                     26-Sep-2025 19:27    852K
acl2-source_8.0dfsg-1_all.deb                      26-Sep-2025 07:23      3M
acl2-source_8.3dfsg-2_all.deb                      27-Sep-2025 17:25      3M
acl2-source_8.5dfsg-5_all.deb                      27-Sep-2025 09:11      3M
acl2-source_8.6+dfsg-2_all.deb                     26-Sep-2025 19:27      4M
acl2_8.0dfsg-1.debian.tar.xz                       26-Sep-2025 07:22    200K
acl2_8.0dfsg-1.dsc                                 26-Sep-2025 07:22    2245
acl2_8.0dfsg-1_amd64.deb                           26-Sep-2025 07:22     19M
acl2_8.0dfsg-1_i386.deb                            26-Sep-2025 07:22     16M
acl2_8.0dfsg.orig.tar.gz                           26-Sep-2025 07:22     74M
acl2_8.3dfsg-2.debian.tar.xz                       27-Sep-2025 17:24    223K
acl2_8.3dfsg-2.dsc                                 27-Sep-2025 17:24    2275
acl2_8.3dfsg-2_amd64.deb                           27-Sep-2025 17:24     20M
acl2_8.3dfsg-2_i386.deb                            27-Sep-2025 17:24     19M
acl2_8.3dfsg.orig.tar.gz                           27-Sep-2025 17:24    112M
acl2_8.5dfsg-5.debian.tar.xz                       27-Sep-2025 09:10    306K
acl2_8.5dfsg-5.dsc                                 27-Sep-2025 09:10    2268
acl2_8.5dfsg-5_amd64.deb                           27-Sep-2025 09:10     22M
acl2_8.5dfsg-5_i386.deb                            27-Sep-2025 09:10     19M
acl2_8.5dfsg.orig.tar.gz                           27-Sep-2025 09:10    213M
acl2_8.6+dfsg-2.debian.tar.xz                      26-Sep-2025 19:25    435K
acl2_8.6+dfsg-2.dsc                                26-Sep-2025 19:25    2286
acl2_8.6+dfsg-2_amd64.deb                          26-Sep-2025 19:25     35M
acl2_8.6+dfsg-2_i386.deb                           26-Sep-2025 19:25     39M
acl2_8.6+dfsg.orig.tar.gz                          26-Sep-2025 19:25    229M
elpa-acl2_8.5dfsg-5_all.deb                        27-Sep-2025 10:01     69K
elpa-acl2_8.6+dfsg-2_all.deb                       26-Sep-2025 20:49     76K