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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_6.3-5_all.deb2013-Oct-24 12:36:2311.1Mapplication/vnd.debian.binary-package
acl2-books-certs_7.1-1_all.deb2015-Jun-27 09:48:3412.5Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-13 22:08:1770.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:0765.8Mapplication/vnd.debian.binary-package
acl2-books-certs_8.4dfsg-2_all.deb2021-Dec-18 20:10:18221.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5_all.deb2023-Jan-16 21:29:02216.2Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-5build3_all.deb2024-Apr-02 04:03:00215.7Mapplication/vnd.debian.binary-package
acl2-books-certs_8.5dfsg-6_all.deb2024-Jul-29 00:20:2478.6Mapplication/vnd.debian.binary-package
acl2-books-source_6.3-5_all.deb2013-Oct-24 12:36:249.1Mapplication/vnd.debian.binary-package
acl2-books-source_7.1-1_all.deb2015-Jun-27 09:48:399.8Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-13 22:08:1611.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:1013.6Mapplication/vnd.debian.binary-package
acl2-books-source_8.4dfsg-2_all.deb2021-Dec-18 20:10:2521.1Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5_all.deb2023-Jan-16 21:29:0322.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-5build3_all.deb2024-Apr-02 04:02:5822.7Mapplication/vnd.debian.binary-package
acl2-books-source_8.5dfsg-6_all.deb2024-Jul-29 00:20:2222.7Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_amd64.deb2013-Oct-24 12:36:2540.1Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_i386.deb2013-Oct-24 12:36:4435.8Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_amd64.deb2015-Jun-27 09:48:3518.7Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_i386.deb2015-Jun-01 22:43:1617.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-13 22:08:15131.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-13 23:49:27114.0Mapplication/vnd.debian.binary-package
acl2-books_8.2dfsg-3build1_amd64.deb2020-Mar-23 09:24:09163.3Mapplication/vnd.debian.binary-package
acl2-books_8.4dfsg-2_amd64.deb2021-Dec-18 20:09:59337.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5_amd64.deb2023-Jan-16 21:29:05329.3Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-5build3_amd64.deb2024-Apr-02 04:03:05330.5Mapplication/vnd.debian.binary-package
acl2-books_8.5dfsg-6_amd64.deb2024-Jul-29 00:20:26170.5Mapplication/vnd.debian.binary-package
acl2-doc_6.3-5_all.deb2013-Oct-24 12:36:2512.1Mapplication/vnd.debian.binary-package
acl2-doc_7.1-1_all.deb2015-Jun-27 09:48:36353.3Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-13 22:08:13385.1Kapplication/vnd.debian.binary-package
acl2-doc_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:10418.0Kapplication/vnd.debian.binary-package
acl2-doc_8.4dfsg-2_all.deb2021-Dec-18 20:09:59441.0Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5_all.deb2023-Jan-16 21:29:02473.4Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-5build3_all.deb2024-Apr-02 04:02:57473.9Kapplication/vnd.debian.binary-package
acl2-doc_8.5dfsg-6_all.deb2024-Jul-29 00:20:21473.8Kapplication/vnd.debian.binary-package
acl2-emacs_6.3-5_all.deb2013-Oct-24 12:36:2454.9Kapplication/vnd.debian.binary-package
acl2-emacs_7.1-1_all.deb2015-Jun-27 09:48:3855.2Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-13 22:08:1758.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:1059.1Kapplication/vnd.debian.binary-package
acl2-infix-source_6.3-5_all.deb2013-Oct-24 12:36:2485.9Kapplication/vnd.debian.binary-package
acl2-infix-source_7.1-1_all.deb2015-Jun-27 09:48:4070.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-13 22:08:1270.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:0770.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.4dfsg-2_all.deb2021-Dec-18 20:10:2671.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5_all.deb2023-Jan-16 21:29:0271.9Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-5build3_all.deb2024-Apr-02 04:02:5772.4Kapplication/vnd.debian.binary-package
acl2-infix-source_8.5dfsg-6_all.deb2024-Jul-29 00:20:2172.2Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_amd64.deb2013-Oct-24 12:36:25200.3Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_i386.deb2013-Oct-24 12:36:43189.0Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_amd64.deb2015-Jun-27 09:48:37140.1Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_i386.deb2015-Jun-01 22:43:17142.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-13 22:08:13414.2Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-13 23:49:27381.1Kapplication/vnd.debian.binary-package
acl2-infix_8.2dfsg-3build1_amd64.deb2020-Mar-23 09:24:10469.8Kapplication/vnd.debian.binary-package
acl2-infix_8.4dfsg-2_amd64.deb2021-Dec-18 20:09:06550.8Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5_amd64.deb2023-Jan-16 21:29:06532.6Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-5build3_amd64.deb2024-Apr-02 04:02:57538.1Kapplication/vnd.debian.binary-package
acl2-infix_8.5dfsg-6_amd64.deb2024-Jul-29 00:20:21533.0Kapplication/vnd.debian.binary-package
acl2-source_6.3-5_all.deb2013-Oct-24 12:36:223.6Mapplication/vnd.debian.binary-package
acl2-source_7.1-1_all.deb2015-Jun-27 09:48:412.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-13 22:08:132.9Mapplication/vnd.debian.binary-package
acl2-source_8.2dfsg-3build1_all.deb2020-Mar-23 09:24:103.1Mapplication/vnd.debian.binary-package
acl2-source_8.4dfsg-2_all.deb2021-Dec-18 20:10:003.3Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5_all.deb2023-Jan-16 21:29:013.4Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-5build3_all.deb2024-Apr-02 04:02:573.4Mapplication/vnd.debian.binary-package
acl2-source_8.5dfsg-6_all.deb2024-Jul-29 00:20:213.4Mapplication/vnd.debian.binary-package
acl2_6.3-5.debian.tar.gz2013-Oct-21 09:09:58157.7Kapplication/x-gtar-compressed
acl2_6.3-5.dsc2013-Oct-21 09:09:591.7Kapplication/octet-stream
acl2_6.3-5_amd64.deb2013-Oct-24 12:36:2626.6Mapplication/vnd.debian.binary-package
acl2_6.3-5_i386.deb2013-Oct-24 12:36:4322.9Mapplication/vnd.debian.binary-package
acl2_6.3.orig-books.tar.gz2013-Oct-21 09:09:5912.9Mapplication/x-gtar-compressed
acl2_6.3.orig.tar.gz2013-Oct-21 09:09:596.7Mapplication/x-gtar-compressed
acl2_7.1-1.debian.tar.xz2015-Jun-01 19:24:15125.9Kapplication/x-xz
acl2_7.1-1.dsc2015-Jun-01 19:24:182.1Kapplication/octet-stream
acl2_7.1-1_amd64.deb2015-Jun-27 09:48:4016.4Mapplication/vnd.debian.binary-package
acl2_7.1-1_i386.deb2015-Jun-01 22:43:1715.7Mapplication/vnd.debian.binary-package
acl2_7.1.orig.tar.gz2015-Jun-01 19:24:1860.4Mapplication/x-gtar-compressed
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-13 18:08:21199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-13 18:08:202.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-13 22:08:1518.8Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-13 23:49:2716.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-13 18:08:2174.0Mapplication/x-gtar-compressed
acl2_8.2dfsg-3build1.debian.tar.xz2020-Mar-23 03:00:04201.2Kapplication/x-xz
acl2_8.2dfsg-3build1.dsc2020-Mar-23 03:00:052.2Kapplication/octet-stream
acl2_8.2dfsg-3build1_amd64.deb2020-Mar-23 09:24:1120.9Mapplication/vnd.debian.binary-package
acl2_8.2dfsg.orig.tar.gz2019-Dec-19 18:13:2676.9Mapplication/x-gtar-compressed
acl2_8.4dfsg-2.debian.tar.xz2021-Nov-01 19:24:22304.3Kapplication/x-xz
acl2_8.4dfsg-2.dsc2021-Nov-01 19:24:202.2Kapplication/octet-stream
acl2_8.4dfsg-2_amd64.deb2021-Dec-18 20:10:2024.9Mapplication/vnd.debian.binary-package
acl2_8.4dfsg.orig.tar.gz2021-Oct-28 19:18:50193.6Mapplication/x-gtar-compressed
acl2_8.5dfsg-5.debian.tar.xz2023-Jan-16 12:44:34305.5Kapplication/x-xz
acl2_8.5dfsg-5.dsc2023-Jan-16 12:44:332.2Kapplication/octet-stream
acl2_8.5dfsg-5_amd64.deb2023-Jan-16 21:29:0225.7Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-5build3.debian.tar.xz2024-Apr-01 01:43:39305.7Kapplication/x-xz
acl2_8.5dfsg-5build3.dsc2024-Apr-01 01:43:392.3Kapplication/octet-stream
acl2_8.5dfsg-5build3_amd64.deb2024-Apr-02 04:03:0525.6Mapplication/vnd.debian.binary-package
acl2_8.5dfsg-6.debian.tar.xz2024-Jul-28 19:59:18305.5Kapplication/x-xz
acl2_8.5dfsg-6.dsc2024-Jul-28 19:59:172.2Kapplication/octet-stream
acl2_8.5dfsg-6_amd64.deb2024-Jul-29 00:20:2725.2Mapplication/vnd.debian.binary-package
acl2_8.5dfsg.orig.tar.gz2022-Jul-27 19:33:59213.1Mapplication/x-gtar-compressed
elpa-acl2_8.4dfsg-2_all.deb2021-Dec-18 20:09:0769.1Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-5_all.deb2023-Jan-16 21:29:0370.3Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-5build3_all.deb2024-Apr-02 04:02:5770.7Kapplication/vnd.debian.binary-package
elpa-acl2_8.5dfsg-6_all.deb2024-Jul-29 00:20:2070.8Kapplication/vnd.debian.binary-package
lighttpd/1.4.53