Index of /argostmp/pool/main/a/acl2/

../
acl2-books-certs_8.5dfsg-6_all.deb                 06-Mar-2025 03:18            67400724
acl2-books-source_8.5dfsg-6_all.deb                06-Mar-2025 03:18            24660164
acl2-books_8.5dfsg-6_amd64.deb                     30-Mar-2025 05:57           160301864
acl2-books_8.5dfsg-6_arm64.deb                     19-Feb-2025 23:49           156062324
acl2-books_8.5dfsg-6_armel.deb                     22-Feb-2025 11:19           149166368
acl2-books_8.5dfsg-6_armhf.deb                     22-Feb-2025 11:26           151173436
acl2-books_8.5dfsg-6_i386.deb                      21-Feb-2025 14:54           139300080
acl2-books_8.5dfsg-6_powerpc.deb                   23-Mar-2025 06:13           155533824
acl2-books_8.5dfsg-6_ppc64.deb                     23-Mar-2025 06:13           159905960
acl2-books_8.5dfsg-6_ppc64el.deb                   10-Mar-2025 16:09           165320648
acl2-books_8.5dfsg-6_x32.deb                       05-Mar-2025 06:57           101793776
acl2-doc_8.5dfsg-6_all.deb                         06-Mar-2025 03:18              481436
acl2-infix-source_8.5dfsg-6_all.deb                06-Mar-2025 03:18               72392
acl2-infix_8.5dfsg-6_amd64.deb                     30-Mar-2025 05:57              477324
acl2-infix_8.5dfsg-6_arm64.deb                     19-Feb-2025 23:49              466256
acl2-infix_8.5dfsg-6_armel.deb                     22-Feb-2025 11:19              469596
acl2-infix_8.5dfsg-6_armhf.deb                     22-Feb-2025 11:26              486932
acl2-infix_8.5dfsg-6_i386.deb                      21-Feb-2025 14:54              486668
acl2-infix_8.5dfsg-6_powerpc.deb                   23-Mar-2025 06:13              463124
acl2-infix_8.5dfsg-6_ppc64.deb                     23-Mar-2025 06:13              487956
acl2-infix_8.5dfsg-6_ppc64el.deb                   10-Mar-2025 16:09              496480
acl2-infix_8.5dfsg-6_x32.deb                       05-Mar-2025 06:57              490172
acl2-source_8.5dfsg-6_all.deb                      06-Mar-2025 03:18             3588724
acl2_8.5dfsg-6_amd64.deb                           30-Mar-2025 05:57            23384548
acl2_8.5dfsg-6_arm64.deb                           19-Feb-2025 23:49            21299456
acl2_8.5dfsg-6_armel.deb                           22-Feb-2025 11:19            18650036
acl2_8.5dfsg-6_armhf.deb                           22-Feb-2025 11:26            19142464
acl2_8.5dfsg-6_i386.deb                            21-Feb-2025 14:54            20279080
acl2_8.5dfsg-6_powerpc.deb                         23-Mar-2025 06:13            19652092
acl2_8.5dfsg-6_ppc64.deb                           23-Mar-2025 06:13            21862592
acl2_8.5dfsg-6_ppc64el.deb                         10-Mar-2025 16:09            22720556
acl2_8.5dfsg-6_x32.deb                             05-Mar-2025 06:57            22607116
acl2_8.6+dfsg-1.debian.tar.xz                      26-Apr-2025 21:21              445216
acl2_8.6+dfsg-1.dsc                                26-Apr-2025 21:21                2286
acl2_8.6+dfsg.orig.tar.gz                          26-Apr-2025 21:21           240329345
elpa-acl2_8.5dfsg-6_all.deb                        06-Mar-2025 03:18               70664