Index of /apricot/pool/main/a/acl2/
../
acl2-books-certs_8.0dfsg-1_all.deb 11-Apr-2022 03:40 73306868
acl2-books-source_8.0dfsg-1_all.deb 11-Apr-2022 03:43 12473396
acl2-books_8.0dfsg-1_amd64.deb 11-Apr-2022 03:13 137946376
acl2-books_8.0dfsg-1_i386.deb 11-Apr-2022 02:57 115998080
acl2-doc_8.0dfsg-1_all.deb 11-Apr-2022 03:20 401524
acl2-emacs_8.0dfsg-1_all.deb 11-Apr-2022 03:17 67608
acl2-infix-source_8.0dfsg-1_all.deb 11-Apr-2022 03:10 79188
acl2-infix_8.0dfsg-1_amd64.deb 11-Apr-2022 03:44 432032
acl2-infix_8.0dfsg-1_i386.deb 11-Apr-2022 03:06 399340
acl2-source_8.0dfsg-1_all.deb 11-Apr-2022 02:56 3081324
acl2_8.0dfsg-1.debian.tar.xz 11-Apr-2022 03:44 204760
acl2_8.0dfsg-1.dsc 11-Apr-2022 03:44 2245
acl2_8.0dfsg-1_amd64.deb 11-Apr-2022 03:30 19855896
acl2_8.0dfsg-1_i386.deb 11-Apr-2022 03:02 16994808
acl2_8.0dfsg.orig.tar.gz 11-Apr-2022 03:44 77635571