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

NameLast ModifiedSizeType
../ -  Directory
acl2-books-certs_4.2-1_all.deb2011-Sep-02 06:03:571.9Mapplication/vnd.debian.binary-package
acl2-books-certs_6.3-5_all.deb2013-Oct-24 19:36:2311.1Mapplication/vnd.debian.binary-package
acl2-books-certs_7.1-1_all.deb2015-Jun-27 16:48:3412.5Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1_all.deb2018-Jan-14 05:08:1770.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:1970.0Mapplication/vnd.debian.binary-package
acl2-books-certs_8.1dfsg-3_all.deb2019-Apr-21 22:43:1676.9Mapplication/vnd.debian.binary-package
acl2-books-certs_8.1dfsg-5_all.deb2019-Dec-09 06:43:1877.1Mapplication/vnd.debian.binary-package
acl2-books-certs_8.1dfsg-6_all.deb2019-Dec-10 10:23:1676.9Mapplication/vnd.debian.binary-package
acl2-books-source_4.2-1_all.deb2011-Sep-02 06:03:564.9Mapplication/vnd.debian.binary-package
acl2-books-source_6.3-5_all.deb2013-Oct-24 19:36:249.1Mapplication/vnd.debian.binary-package
acl2-books-source_7.1-1_all.deb2015-Jun-27 16:48:399.8Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1_all.deb2018-Jan-14 05:08:1611.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:1811.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.1dfsg-3_all.deb2019-Apr-21 22:43:1812.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.1dfsg-5_all.deb2019-Dec-09 06:43:1712.9Mapplication/vnd.debian.binary-package
acl2-books-source_8.1dfsg-6_all.deb2019-Dec-10 10:23:1812.9Mapplication/vnd.debian.binary-package
acl2-books_4.2-1_amd64.deb2011-Sep-02 07:04:0239.4Mapplication/vnd.debian.binary-package
acl2-books_4.2-1_i386.deb2011-Sep-02 06:04:0434.4Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_amd64.deb2013-Oct-24 19:36:2540.1Mapplication/vnd.debian.binary-package
acl2-books_6.3-5_i386.deb2013-Oct-24 19:36:4435.8Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_amd64.deb2015-Jun-27 16:48:3518.7Mapplication/vnd.debian.binary-package
acl2-books_7.1-1_i386.deb2015-Jun-02 05:43:1617.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_amd64.deb2018-Jan-14 05:08:15131.7Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1_i386.deb2018-Jan-14 06:49:27114.0Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1build1_amd64.deb2019-Jan-15 20:13:17144.9Mapplication/vnd.debian.binary-package
acl2-books_8.0dfsg-1build1_i386.deb2019-Jan-15 18:47:29126.5Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3_amd64.deb2019-Apr-21 22:43:18155.8Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-3_i386.deb2019-Apr-22 02:31:40138.9Mapplication/vnd.debian.binary-package
acl2-books_8.1dfsg-6_amd64.deb2019-Dec-10 10:23:18156.4Mapplication/vnd.debian.binary-package
acl2-doc_4.2-1_all.deb2011-Sep-02 06:03:56263.7Kapplication/vnd.debian.binary-package
acl2-doc_6.3-5_all.deb2013-Oct-24 19:36:2512.1Mapplication/vnd.debian.binary-package
acl2-doc_7.1-1_all.deb2015-Jun-27 16:48:36353.3Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1_all.deb2018-Jan-14 05:08:13385.1Kapplication/vnd.debian.binary-package
acl2-doc_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:18385.0Kapplication/vnd.debian.binary-package
acl2-doc_8.1dfsg-3_all.deb2019-Apr-21 22:43:19396.1Kapplication/vnd.debian.binary-package
acl2-doc_8.1dfsg-5_all.deb2019-Dec-09 06:43:18396.3Kapplication/vnd.debian.binary-package
acl2-doc_8.1dfsg-6_all.deb2019-Dec-10 10:23:18396.3Kapplication/vnd.debian.binary-package
acl2-emacs_4.2-1_all.deb2011-Sep-02 06:03:5651.5Kapplication/vnd.debian.binary-package
acl2-emacs_6.3-5_all.deb2013-Oct-24 19:36:2454.9Kapplication/vnd.debian.binary-package
acl2-emacs_7.1-1_all.deb2015-Jun-27 16:48:3855.2Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1_all.deb2018-Jan-14 05:08:1758.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:1858.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.1dfsg-3_all.deb2019-Apr-21 22:43:1958.8Kapplication/vnd.debian.binary-package
acl2-emacs_8.1dfsg-5_all.deb2019-Dec-09 06:43:1758.9Kapplication/vnd.debian.binary-package
acl2-emacs_8.1dfsg-6_all.deb2019-Dec-10 10:23:1858.8Kapplication/vnd.debian.binary-package
acl2-infix-source_4.2-1_all.deb2011-Sep-02 06:03:5679.6Kapplication/vnd.debian.binary-package
acl2-infix-source_6.3-5_all.deb2013-Oct-24 19:36:2485.9Kapplication/vnd.debian.binary-package
acl2-infix-source_7.1-1_all.deb2015-Jun-27 16:48:4070.3Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1_all.deb2018-Jan-14 05:08:1270.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:1870.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.1dfsg-3_all.deb2019-Apr-21 22:43:1970.1Kapplication/vnd.debian.binary-package
acl2-infix-source_8.1dfsg-5_all.deb2019-Dec-09 06:43:1770.2Kapplication/vnd.debian.binary-package
acl2-infix-source_8.1dfsg-6_all.deb2019-Dec-10 10:23:1970.1Kapplication/vnd.debian.binary-package
acl2-infix_4.2-1_amd64.deb2011-Sep-02 07:04:01438.2Kapplication/vnd.debian.binary-package
acl2-infix_4.2-1_i386.deb2011-Sep-02 06:04:03400.1Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_amd64.deb2013-Oct-24 19:36:25200.3Kapplication/vnd.debian.binary-package
acl2-infix_6.3-5_i386.deb2013-Oct-24 19:36:43189.0Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_amd64.deb2015-Jun-27 16:48:37140.1Kapplication/vnd.debian.binary-package
acl2-infix_7.1-1_i386.deb2015-Jun-02 05:43:17142.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_amd64.deb2018-Jan-14 05:08:13414.2Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1_i386.deb2018-Jan-14 06:49:27381.1Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1build1_amd64.deb2019-Jan-15 20:13:18470.9Kapplication/vnd.debian.binary-package
acl2-infix_8.0dfsg-1build1_i386.deb2019-Jan-15 18:47:30434.2Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3_amd64.deb2019-Apr-21 22:43:15471.5Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-3_i386.deb2019-Apr-22 02:31:38474.8Kapplication/vnd.debian.binary-package
acl2-infix_8.1dfsg-6_amd64.deb2019-Dec-10 10:23:19475.4Kapplication/vnd.debian.binary-package
acl2-source_4.2-1_all.deb2011-Sep-02 06:03:562.9Mapplication/vnd.debian.binary-package
acl2-source_6.3-5_all.deb2013-Oct-24 19:36:223.6Mapplication/vnd.debian.binary-package
acl2-source_7.1-1_all.deb2015-Jun-27 16:48:412.7Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1_all.deb2018-Jan-14 05:08:132.9Mapplication/vnd.debian.binary-package
acl2-source_8.0dfsg-1build1_all.deb2019-Jan-15 20:13:182.9Mapplication/vnd.debian.binary-package
acl2-source_8.1dfsg-3_all.deb2019-Apr-21 22:43:142.9Mapplication/vnd.debian.binary-package
acl2-source_8.1dfsg-5_all.deb2019-Dec-09 06:43:192.9Mapplication/vnd.debian.binary-package
acl2-source_8.1dfsg-6_all.deb2019-Dec-10 10:23:192.9Mapplication/vnd.debian.binary-package
acl2_4.2-1.debian.tar.gz2011-May-15 16:04:5417.4Kapplication/gzip
acl2_4.2-1.dsc2011-May-15 16:04:541.1Kapplication/octet-stream
acl2_4.2-1_amd64.deb2011-Sep-02 07:04:0325.3Mapplication/vnd.debian.binary-package
acl2_4.2-1_i386.deb2011-Sep-02 06:04:0521.7Mapplication/vnd.debian.binary-package
acl2_4.2.orig.tar.gz2011-May-15 16:04:5411.1Mapplication/gzip
acl2_6.3-5.debian.tar.gz2013-Oct-21 16:09:58157.7Kapplication/gzip
acl2_6.3-5.dsc2013-Oct-21 16:09:591.7Kapplication/octet-stream
acl2_6.3-5_amd64.deb2013-Oct-24 19:36:2626.6Mapplication/vnd.debian.binary-package
acl2_6.3-5_i386.deb2013-Oct-24 19:36:4322.9Mapplication/vnd.debian.binary-package
acl2_6.3.orig-books.tar.gz2013-Oct-21 16:09:5912.9Mapplication/gzip
acl2_6.3.orig.tar.gz2013-Oct-21 16:09:596.7Mapplication/gzip
acl2_7.1-1.debian.tar.xz2015-Jun-02 02:24:15125.9Kapplication/x-xz
acl2_7.1-1.dsc2015-Jun-02 02:24:182.1Kapplication/octet-stream
acl2_7.1-1_amd64.deb2015-Jun-27 16:48:4016.4Mapplication/vnd.debian.binary-package
acl2_7.1-1_i386.deb2015-Jun-02 05:43:1715.7Mapplication/vnd.debian.binary-package
acl2_7.1.orig.tar.gz2015-Jun-02 02:24:1860.4Mapplication/gzip
acl2_8.0dfsg-1.debian.tar.xz2018-Jan-14 01:08:21199.9Kapplication/x-xz
acl2_8.0dfsg-1.dsc2018-Jan-14 01:08:202.1Kapplication/octet-stream
acl2_8.0dfsg-1_amd64.deb2018-Jan-14 05:08:1518.8Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1_i386.deb2018-Jan-14 06:49:2716.2Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1build1.debian.tar.xz2019-Jan-15 13:08:24200.0Kapplication/x-xz
acl2_8.0dfsg-1build1.dsc2019-Jan-15 13:08:242.2Kapplication/octet-stream
acl2_8.0dfsg-1build1_amd64.deb2019-Jan-15 20:13:1818.7Mapplication/vnd.debian.binary-package
acl2_8.0dfsg-1build1_i386.deb2019-Jan-15 18:47:3016.7Mapplication/vnd.debian.binary-package
acl2_8.0dfsg.orig.tar.gz2018-Jan-14 01:08:2174.0Mapplication/gzip
acl2_8.1dfsg-3.debian.tar.xz2019-Apr-21 14:46:56200.3Kapplication/x-xz
acl2_8.1dfsg-3.dsc2019-Apr-21 14:46:532.1Kapplication/octet-stream
acl2_8.1dfsg-3_amd64.deb2019-Apr-21 22:43:1819.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-3_i386.deb2019-Apr-22 02:31:3917.9Mapplication/vnd.debian.binary-package
acl2_8.1dfsg-6.debian.tar.xz2019-Dec-10 01:13:21200.5Kapplication/x-xz
acl2_8.1dfsg-6.dsc2019-Dec-10 01:13:202.1Kapplication/octet-stream
acl2_8.1dfsg-6_amd64.deb2019-Dec-10 10:23:1819.4Mapplication/vnd.debian.binary-package
acl2_8.1dfsg.orig.tar.gz2019-Apr-21 14:46:5675.3Mapplication/gzip
lighttpd/1.4.45