Index of /ubuntu/pool/universe/a/acl2/

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_6.3-5_all.deb2013-Oct-24 22:06:2311.1Mapplication/vnd.debian.binary-package
acl2-books-certs_7.1-1_all.deb2015-Jun-27 19:18:3412.5Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-14 08:38:1770.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:0765.8Mapplication/vnd.debian.binary-package
acl2-books-certs_8.4dfsg-2_all.deb2021-Dec-19 06:40:18221.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-1_all.deb2022-Jul-28 14:59:16220.1Mapplication/vnd.debian.binary-package
acl2-books-source_6.3-5_all.deb2013-Oct-24 22:06:249.1Mapplication/vnd.debian.binary-package
acl2-books-source_7.1-1_all.deb2015-Jun-27 19:18:399.8Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-14 08:38:1611.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:1013.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.4dfsg-2_all.deb2021-Dec-19 06:40:2521.1Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-1_all.deb2022-Jul-28 14:59:1622.7Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_amd64.deb2013-Oct-24 22:06:2540.1Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_i386.deb2013-Oct-24 22:06:4435.8Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_amd64.deb2015-Jun-27 19:18:3518.7Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_i386.deb2015-Jun-02 08:13:1617.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-14 08:38:15131.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-14 10:19:27114.0Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_amd64.deb2020-Mar-23 18:54:09163.3Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_amd64.deb2021-Dec-19 06:39:59337.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-1_amd64.deb2022-Jul-28 14:59:15335.4Mapplication/vnd.debian.binary-package
acl2-doc_6.3-5_all.deb2013-Oct-24 22:06:2512.1Mapplication/vnd.debian.binary-package
acl2-doc_7.1-1_all.deb2015-Jun-27 19:18:36353.3Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-14 08:38:13385.1Kapplication/vnd.debian.binary-package
acl2-doc_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:10418.0Kapplication/vnd.debian.binary-package
acl2-doc_8.4dfsg-2_all.deb2021-Dec-19 06:39:59441.0Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-1_all.deb2022-Jul-28 14:59:16473.4Kapplication/vnd.debian.binary-package
acl2-emacs_6.3-5_all.deb2013-Oct-24 22:06:2454.9Kapplication/vnd.debian.binary-package
acl2-emacs_7.1-1_all.deb2015-Jun-27 19:18:3855.2Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-14 08:38:1758.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:1059.1Kapplication/vnd.debian.binary-package
acl2-infix-source_6.3-5_all.deb2013-Oct-24 22:06:2485.9Kapplication/vnd.debian.binary-package
acl2-infix-source_7.1-1_all.deb2015-Jun-27 19:18:4070.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-14 08:38:1270.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:0770.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.4dfsg-2_all.deb2021-Dec-19 06:40:2671.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-1_all.deb2022-Jul-28 14:59:1671.8Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_amd64.deb2013-Oct-24 22:06:25200.3Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_i386.deb2013-Oct-24 22:06:43189.0Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_amd64.deb2015-Jun-27 19:18:37140.1Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_i386.deb2015-Jun-02 08:13:17142.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-14 08:38:13414.2Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-14 10:19:27381.1Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_amd64.deb2020-Mar-23 18:54:10469.8Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_amd64.deb2021-Dec-19 06:39:06550.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-1_amd64.deb2022-Jul-28 14:59:13532.8Kapplication/vnd.debian.binary-package
acl2-source_6.3-5_all.deb2013-Oct-24 22:06:223.6Mapplication/vnd.debian.binary-package
acl2-source_7.1-1_all.deb2015-Jun-27 19:18:412.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-14 08:38:132.9Mapplication/vnd.debian.binary-package
acl2-source_8.2dfsg-3build1_all.deb2020-Mar-23 18:54:103.1Mapplication/vnd.debian.binary-package
acl2-source_8.4dfsg-2_all.deb2021-Dec-19 06:40:003.3Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-1_all.deb2022-Jul-28 14:59:163.4Mapplication/vnd.debian.binary-package
acl2_6.3-5.debian.tar.gz2013-Oct-21 18:39:58157.7Kapplication/x-gtar-compressed
acl2_6.3-5.dsc2013-Oct-21 18:39:591.7Ktext/prs.lines.tag
acl2_6.3-5_amd64.deb2013-Oct-24 22:06:2626.6Mapplication/vnd.debian.binary-package
acl2_6.3-5_i386.deb2013-Oct-24 22:06:4322.9Mapplication/vnd.debian.binary-package
acl2_6.3.orig-books.tar.gz2013-Oct-21 18:39:5912.9Mapplication/x-gtar-compressed
acl2_6.3.orig.tar.gz2013-Oct-21 18:39:596.7Mapplication/x-gtar-compressed
acl2_7.1-1.debian.tar.xz2015-Jun-02 04:54:15125.9Kapplication/x-xz
acl2_7.1-1.dsc2015-Jun-02 04:54:182.1Ktext/prs.lines.tag
acl2_7.1-1_amd64.deb2015-Jun-27 19:18:4016.4Mapplication/vnd.debian.binary-package
acl2_7.1-1_i386.deb2015-Jun-02 08:13:1715.7Mapplication/vnd.debian.binary-package
acl2_7.1.orig.tar.gz2015-Jun-02 04:54:1860.4Mapplication/x-gtar-compressed
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-14 04:38:21199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-14 04:38:202.1Ktext/prs.lines.tag
acl2_8.0dfsg-1_amd64.deb2018-Jan-14 08:38:1518.8Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-14 10:19:2716.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-14 04:38:2174.0Mapplication/x-gtar-compressed
acl2_8.2dfsg-3build1.debian.tar.xz2020-Mar-23 12:30:04201.2Kapplication/x-xz
acl2_8.2dfsg-3build1.dsc2020-Mar-23 12:30:052.2Ktext/prs.lines.tag
acl2_8.2dfsg-3build1_amd64.deb2020-Mar-23 18:54:1120.9Mapplication/vnd.debian.binary-package
acl2_8.2dfsg.orig.tar.gz2019-Dec-20 04:43:2676.9Mapplication/x-gtar-compressed
acl2_8.4dfsg-2.debian.tar.xz2021-Nov-02 04:54:22304.3Kapplication/x-xz
acl2_8.4dfsg-2.dsc2021-Nov-02 04:54:202.2Ktext/prs.lines.tag
acl2_8.4dfsg-2_amd64.deb2021-Dec-19 06:40:2024.9Mapplication/vnd.debian.binary-package
acl2_8.4dfsg.orig.tar.gz2021-Oct-29 04:48:50193.6Mapplication/x-gtar-compressed
acl2_8.5dfsg-1.debian.tar.xz2022-Jul-28 05:03:59304.9Kapplication/x-xz
acl2_8.5dfsg-1.dsc2022-Jul-28 05:03:592.2Ktext/prs.lines.tag
acl2_8.5dfsg-1_amd64.deb2022-Jul-28 14:59:1625.8Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-28 05:03:59213.1Mapplication/x-gtar-compressed
elpa-acl2_8.4dfsg-2_all.deb2021-Dec-19 06:39:0769.1Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-1_all.deb2022-Jul-28 14:59:1370.2Kapplication/vnd.debian.binary-package
lighttpd/1.4.59