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

../
acl2-books-certs_8.3dfsg-2_all.deb                 02-Apr-2026 20:07    139M
acl2-books-certs_8.5dfsg-5_all.deb                 31-Mar-2026 06:46    170M
acl2-books-certs_8.6+dfsg-2_all.deb                23-Mar-2026 18:01    211M
acl2-books-source_8.3dfsg-2_all.deb                02-Apr-2026 20:07     19M
acl2-books-source_8.5dfsg-5_all.deb                31-Mar-2026 06:46     24M
acl2-books-source_8.6+dfsg-2_all.deb               23-Mar-2026 18:01     26M
acl2-books_8.3dfsg-2_amd64.deb                     02-Apr-2026 20:06    241M
acl2-books_8.3dfsg-2_i386.deb                      02-Apr-2026 20:07    204M
acl2-books_8.5dfsg-5_amd64.deb                     31-Mar-2026 06:43    287M
acl2-books_8.5dfsg-5_i386.deb                      31-Mar-2026 06:45    248M
acl2-books_8.6+dfsg-2_amd64.deb                    23-Mar-2026 17:58    416M
acl2-books_8.6+dfsg-2_i386.deb                     23-Mar-2026 18:00    344M
acl2-doc_8.3dfsg-2_all.deb                         02-Apr-2026 20:07    437K
acl2-doc_8.5dfsg-5_all.deb                         31-Mar-2026 06:46    470K
acl2-doc_8.6+dfsg-2_all.deb                        23-Mar-2026 18:02    513K
acl2-emacs_8.3dfsg-2_all.deb                       02-Apr-2026 20:07     68K
acl2-infix-source_8.3dfsg-2_all.deb                02-Apr-2026 20:07     78K
acl2-infix-source_8.5dfsg-5_all.deb                31-Mar-2026 06:46     71K
acl2-infix-source_8.6+dfsg-2_all.deb               23-Mar-2026 18:02     71K
acl2-infix_8.3dfsg-2_amd64.deb                     02-Apr-2026 20:07    479K
acl2-infix_8.3dfsg-2_i386.deb                      02-Apr-2026 20:07    485K
acl2-infix_8.5dfsg-5_amd64.deb                     31-Mar-2026 06:46    464K
acl2-infix_8.5dfsg-5_i386.deb                      31-Mar-2026 06:46    477K
acl2-infix_8.6+dfsg-2_amd64.deb                    23-Mar-2026 18:02    866K
acl2-infix_8.6+dfsg-2_i386.deb                     23-Mar-2026 18:02    852K
acl2-source_8.3dfsg-2_all.deb                      02-Apr-2026 20:08      3M
acl2-source_8.5dfsg-5_all.deb                      31-Mar-2026 06:46      3M
acl2-source_8.6+dfsg-2_all.deb                     23-Mar-2026 18:02      4M
acl2_8.3dfsg-2.debian.tar.xz                       02-Apr-2026 20:06    223K
acl2_8.3dfsg-2.dsc                                 02-Apr-2026 20:06    2275
acl2_8.3dfsg-2_amd64.deb                           02-Apr-2026 20:06     20M
acl2_8.3dfsg-2_i386.deb                            02-Apr-2026 20:06     19M
acl2_8.3dfsg.orig.tar.gz                           02-Apr-2026 20:06    112M
acl2_8.5dfsg-5.debian.tar.xz                       31-Mar-2026 06:41    306K
acl2_8.5dfsg-5.dsc                                 31-Mar-2026 06:41    2268
acl2_8.5dfsg-5_amd64.deb                           31-Mar-2026 06:40     22M
acl2_8.5dfsg-5_i386.deb                            31-Mar-2026 06:40     19M
acl2_8.5dfsg.orig.tar.gz                           31-Mar-2026 06:42    213M
acl2_8.6+dfsg-2.debian.tar.xz                      23-Mar-2026 17:54    435K
acl2_8.6+dfsg-2.dsc                                23-Mar-2026 17:54    2286
acl2_8.6+dfsg-2_amd64.deb                          23-Mar-2026 17:54     35M
acl2_8.6+dfsg-2_i386.deb                           23-Mar-2026 17:54     39M
acl2_8.6+dfsg.orig.tar.gz                          23-Mar-2026 17:56    229M
elpa-acl2_8.5dfsg-5_all.deb                        31-Mar-2026 10:53     69K
elpa-acl2_8.6+dfsg-2_all.deb                       24-Mar-2026 16:32     76K