Index of /pardus/pool/main/a/acl2/

../
acl2-books-certs_7.2dfsg-3_all.deb                 02-Jul-2026 15:49     52M
acl2-books-certs_8.0dfsg-1_all.deb                 02-Jul-2026 11:51     70M
acl2-books-source_7.2dfsg-3_all.deb                02-Jul-2026 15:56     10M
acl2-books-source_8.0dfsg-1_all.deb                02-Jul-2026 12:16     12M
acl2-books_7.2dfsg-3_amd64.deb                     02-Jul-2026 16:24    103M
acl2-books_7.2dfsg-3_i386.deb                      02-Jul-2026 15:49     86M
acl2-books_8.0dfsg-1_amd64.deb                     02-Jul-2026 11:58    132M
acl2-books_8.0dfsg-1_arm64.deb                     02-Jul-2026 12:07    135M
acl2-books_8.0dfsg-1_i386.deb                      02-Jul-2026 11:58    111M
acl2-doc_7.2dfsg-3_all.deb                         02-Jul-2026 15:38    372K
acl2-doc_8.0dfsg-1_all.deb                         02-Jul-2026 12:14    392K
acl2-emacs_7.2dfsg-3_all.deb                       02-Jul-2026 15:42     63K
acl2-emacs_8.0dfsg-1_all.deb                       02-Jul-2026 12:22     66K
acl2-infix-source_7.2dfsg-3_all.deb                02-Jul-2026 15:56     77K
acl2-infix-source_8.0dfsg-1_all.deb                02-Jul-2026 11:50     77K
acl2-infix_7.2dfsg-3_amd64.deb                     02-Jul-2026 15:55    410K
acl2-infix_7.2dfsg-3_i386.deb                      02-Jul-2026 16:07    381K
acl2-infix_8.0dfsg-1_amd64.deb                     02-Jul-2026 11:34    422K
acl2-infix_8.0dfsg-1_arm64.deb                     02-Jul-2026 11:54    432K
acl2-infix_8.0dfsg-1_i386.deb                      02-Jul-2026 12:08    390K
acl2-source_7.2dfsg-3_all.deb                      02-Jul-2026 15:37      3M
acl2-source_8.0dfsg-1_all.deb                      02-Jul-2026 12:40      3M
acl2_7.2dfsg-3.debian.tar.xz                       02-Jul-2026 15:22    199K
acl2_7.2dfsg-3.dsc                                 02-Jul-2026 15:22    2231
acl2_7.2dfsg-3_amd64.deb                           02-Jul-2026 15:37     17M
acl2_7.2dfsg-3_i386.deb                            02-Jul-2026 16:02     15M
acl2_7.2dfsg.orig.tar.gz                           02-Jul-2026 15:23     61M
acl2_8.0dfsg-1.debian.tar.xz                       02-Jul-2026 11:57    200K
acl2_8.0dfsg-1.dsc                                 02-Jul-2026 11:57    2245
acl2_8.0dfsg-1_amd64.deb                           02-Jul-2026 11:46     19M
acl2_8.0dfsg-1_arm64.deb                           02-Jul-2026 12:16     17M
acl2_8.0dfsg-1_i386.deb                            02-Jul-2026 11:46     16M
acl2_8.0dfsg.orig.tar.gz                           02-Jul-2026 11:58     74M