Index of /jessietest/private/pool/main/a/acl2/
../
acl2-books-certs_7.2dfsg-3_all.deb 17-Oct-2016 14:35 54799678
acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 13:52 73306868
acl2-books-certs_8.3dfsg-1_all.deb 24-Aug-2020 04:11 13664
acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 145388148
acl2-books-certs_8.4dfsg-2_all.deb 02-Nov-2021 03:14 175671700
acl2-books-source_7.2dfsg-3_all.deb 17-Oct-2016 14:35 10864188
acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 12473396
acl2-books-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 19520532
acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 19539252
acl2-books-source_8.4dfsg-2_all.deb 02-Nov-2021 03:14 22957348
acl2-books_7.2dfsg-3_armhf.deb 19-Apr-2017 23:12 51095318
acl2-books_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 12956
acl2-books_8.4dfsg-2_armhf.deb 24-Nov-2021 10:09 272999036
acl2-doc_7.2dfsg-3_all.deb 17-Oct-2016 14:35 381186
acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 13:52 401524
acl2-doc_8.3dfsg-1_all.deb 24-Aug-2020 04:11 447480
acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 02:25 447608
acl2-doc_8.4dfsg-2_all.deb 02-Nov-2021 03:14 455872
acl2-emacs_7.2dfsg-3_all.deb 17-Oct-2016 14:35 64070
acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 13:52 67608
acl2-emacs_8.3dfsg-1_all.deb 24-Aug-2020 04:11 69232
acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 69412
acl2-infix-source_7.2dfsg-3_all.deb 17-Oct-2016 14:35 78840
acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 79188
acl2-infix-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 79720
acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 79880
acl2-infix-source_8.4dfsg-2_all.deb 02-Nov-2021 03:14 80080
acl2-infix_7.2dfsg-3_armhf.deb 19-Apr-2017 23:12 379772
acl2-infix_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 441808
acl2-infix_8.4dfsg-2_armhf.deb 24-Nov-2021 10:09 474800
acl2-source_7.2dfsg-3_all.deb 17-Oct-2016 14:35 2886204
acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 13:52 3081324
acl2-source_8.3dfsg-1_all.deb 24-Aug-2020 04:11 3340264
acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 3339896
acl2-source_8.4dfsg-2_all.deb 02-Nov-2021 03:14 3481192
acl2_7.2dfsg-3.debian.tar.xz 17-Oct-2016 14:35 204172
acl2_7.2dfsg-3.dsc 17-Oct-2016 14:35 2231
acl2_7.2dfsg-3_armhf.deb 19-Apr-2017 23:12 14586648
acl2_7.2dfsg.orig.tar.gz 14-Apr-2016 13:54 64411749
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 13:52 204760
acl2_8.0dfsg-1.dsc 13-Jan-2018 13:52 2245
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 13:52 77635571
acl2_8.3dfsg-1.debian.tar.xz 24-Aug-2020 02:39 205984
acl2_8.3dfsg-1.dsc 24-Aug-2020 02:39 2250
acl2_8.3dfsg-1_armhf.deb 29-Aug-2020 10:08 18109240
acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 14:34 228320
acl2_8.3dfsg-2.dsc 27-Jan-2021 14:34 2275
acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 02:39 117260902
acl2_8.4dfsg-2.debian.tar.xz 01-Nov-2021 16:37 311628
acl2_8.4dfsg-2.dsc 01-Nov-2021 16:37 2281
acl2_8.4dfsg-2_armhf.deb 24-Nov-2021 10:09 18622476
acl2_8.4dfsg.orig.tar.gz 28-Oct-2021 17:48 202991839
elpa-acl2_8.4dfsg-2_all.deb 02-Nov-2021 03:14 77228