Index of /debian/pool/main/a/acl2/

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5769.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.3dfsg-2_all.deb2021-Feb-02 05:35:07138.6Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jul-19 15:05:40170.1Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5711.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.3dfsg-2_all.deb2021-Feb-02 05:35:0718.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jul-19 15:05:4123.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59131.5Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14110.6Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_amd64.deb2021-Feb-02 05:35:10241.1Mapplication/vnd.debian.binary-package
acl2-books_8.3dfsg-2_i386.deb2021-Feb-02 05:35:12203.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jul-19 15:05:50286.9Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_i386.deb2023-Jul-19 15:05:52247.5Mapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 14:52:59392.1Kapplication/vnd.debian.binary-package
acl2-doc_8.3dfsg-2_all.deb2021-Feb-02 05:35:13437.1Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jul-19 15:05:53470.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 14:52:5966.0Kapplication/vnd.debian.binary-package
acl2-emacs_8.3dfsg-2_all.deb2021-Feb-02 05:35:1367.8Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:5977.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.3dfsg-2_all.deb2021-Feb-02 05:35:1378.0Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jul-19 15:05:5370.6Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:59421.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 22:26:14389.9Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_amd64.deb2021-Feb-02 05:35:13478.8Kapplication/vnd.debian.binary-package
acl2-infix_8.3dfsg-2_i386.deb2021-Feb-02 05:35:13484.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jul-19 15:05:53464.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_i386.deb2023-Jul-19 15:05:53477.4Kapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 14:52:592.9Mapplication/vnd.debian.binary-package
acl2-source_8.3dfsg-2_all.deb2021-Feb-02 05:35:133.1Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jul-19 15:05:533.4Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 14:52:57199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 14:52:562.1Ktext/prs.lines.tag
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 14:52:5918.9Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 22:26:1416.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 14:52:5774.0Mapplication/x-gtar-compressed
acl2_8.3dfsg-2.debian.tar.xz2021-Feb-02 05:35:13222.9Kapplication/x-xz
acl2_8.3dfsg-2.dsc2021-Feb-02 05:35:132.2Ktext/prs.lines.tag
acl2_8.3dfsg-2_amd64.deb2021-Feb-02 05:35:1320.4Mapplication/vnd.debian.binary-package
acl2_8.3dfsg-2_i386.deb2021-Feb-02 05:35:1318.5Mapplication/vnd.debian.binary-package
acl2_8.3dfsg.orig.tar.gz2020-Aug-29 05:14:02111.8Mapplication/x-gtar-compressed
acl2_8.5dfsg-5.debian.tar.xz2023-Jul-19 15:05:53305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jul-19 15:05:532.2Ktext/prs.lines.tag
acl2_8.5dfsg-5_amd64.deb2023-Jul-19 15:05:5422.3Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5_i386.deb2023-Jul-19 15:05:5419.4Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2023-Jul-19 15:05:58213.1Mapplication/x-gtar-compressed
elpa-acl2_8.5dfsg-5_all.deb2023-Jul-19 15:05:5868.9Kapplication/vnd.debian.binary-package
lighttpd/1.4.69