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

Name Last Modified Size Type
Parent Directory  Directory
acl2-books-certs_4.2-1_all.deb2011-Sep-01 23:03:571.9M application/octet-stream
acl2-books-certs_6.3-5_all.deb2013-Oct-24 12:36:2311.1M application/octet-stream
acl2-books-certs_7.0-1_all.deb2015-Jan-27 09:50:1766M application/octet-stream
acl2-books-certs_7.1-1_all.deb2015-Jun-27 09:48:3412.6M application/octet-stream
acl2-books-certs_7.2dfsg-2_all.deb2016-May-05 02:24:1852.3M application/octet-stream
acl2-books-certs_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:4352.2M application/octet-stream
acl2-books-certs_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:3252.3M application/octet-stream
acl2-books-source_4.2-1_all.deb2011-Sep-01 23:03:564.9M application/octet-stream
acl2-books-source_6.3-5_all.deb2013-Oct-24 12:36:249.1M application/octet-stream
acl2-books-source_7.0-1_all.deb2015-Jan-27 09:50:228.4M application/octet-stream
acl2-books-source_7.1-1_all.deb2015-Jun-27 09:48:399.9M application/octet-stream
acl2-books-source_7.2dfsg-2_all.deb2016-May-05 02:24:0510.7M application/octet-stream
acl2-books-source_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:4310.4M application/octet-stream
acl2-books-source_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:3010.4M application/octet-stream
acl2-books_4.2-1_amd64.deb2011-Sep-02 00:04:0239.4M application/octet-stream
acl2-books_4.2-1_i386.deb2011-Sep-01 23:04:0434.4M application/octet-stream
acl2-books_6.3-5_amd64.deb2013-Oct-24 12:36:2540.1M application/octet-stream
acl2-books_6.3-5_i386.deb2013-Oct-24 12:36:4435.8M application/octet-stream
acl2-books_7.0-1_amd64.deb2015-Jan-27 09:50:2324.2M application/octet-stream
acl2-books_7.0-1_i386.deb2015-Jan-27 12:06:0822.7M application/octet-stream
acl2-books_7.1-1_amd64.deb2015-Jun-27 09:48:3518.7M application/octet-stream
acl2-books_7.1-1_i386.deb2015-Jun-01 22:43:1617.7M application/octet-stream
acl2-books_7.2dfsg-2_amd64.deb2016-May-05 02:24:13101.6M application/octet-stream
acl2-books_7.2dfsg-2_i386.deb2016-May-05 03:09:2188.4M application/octet-stream
acl2-books_7.2dfsg-2build2_amd64.deb2016-Sep-27 00:19:34103.1M application/octet-stream
acl2-books_7.2dfsg-2build2_i386.deb2016-Sep-26 23:44:4086.7M application/octet-stream
acl2-doc_4.2-1_all.deb2011-Sep-01 23:03:56263.8K application/octet-stream
acl2-doc_6.3-5_all.deb2013-Oct-24 12:36:2512.1M application/octet-stream
acl2-doc_7.0-1_all.deb2015-Jan-27 09:50:19330.6K application/octet-stream
acl2-doc_7.1-1_all.deb2015-Jun-27 09:48:36353.3K application/octet-stream
acl2-doc_7.2dfsg-2_all.deb2016-May-05 02:24:04366.4K application/octet-stream
acl2-doc_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:41365.9K application/octet-stream
acl2-doc_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:29365.9K application/octet-stream
acl2-emacs_4.2-1_all.deb2011-Sep-01 23:03:5651.5K application/octet-stream
acl2-emacs_6.3-5_all.deb2013-Oct-24 12:36:2455K application/octet-stream
acl2-emacs_7.0-1_all.deb2015-Jan-27 09:50:1853.8K application/octet-stream
acl2-emacs_7.1-1_all.deb2015-Jun-27 09:48:3855.2K application/octet-stream
acl2-emacs_7.2dfsg-2_all.deb2016-May-05 02:24:1456.2K application/octet-stream
acl2-emacs_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:4056.2K application/octet-stream
acl2-emacs_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:3456.2K application/octet-stream
acl2-infix-source_4.2-1_all.deb2011-Sep-01 23:03:5679.7K application/octet-stream
acl2-infix-source_6.3-5_all.deb2013-Oct-24 12:36:2486K application/octet-stream
acl2-infix-source_7.0-1_all.deb2015-Jan-27 09:50:1871.6K application/octet-stream
acl2-infix-source_7.1-1_all.deb2015-Jun-27 09:48:4070.3K application/octet-stream
acl2-infix-source_7.2dfsg-2_all.deb2016-May-05 02:24:1370.6K application/octet-stream
acl2-infix-source_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:4170.6K application/octet-stream
acl2-infix-source_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:3070.6K application/octet-stream
acl2-infix_4.2-1_amd64.deb2011-Sep-02 00:04:01438.2K application/octet-stream
acl2-infix_4.2-1_i386.deb2011-Sep-01 23:04:03400.1K application/octet-stream
acl2-infix_6.3-5_amd64.deb2013-Oct-24 12:36:25200.3K application/octet-stream
acl2-infix_6.3-5_i386.deb2013-Oct-24 12:36:43189K application/octet-stream
acl2-infix_7.0-1_amd64.deb2015-Jan-27 09:50:21140K application/octet-stream
acl2-infix_7.0-1_i386.deb2015-Jan-27 12:06:06142.2K application/octet-stream
acl2-infix_7.1-1_amd64.deb2015-Jun-27 09:48:37140.2K application/octet-stream
acl2-infix_7.1-1_i386.deb2015-Jun-01 22:43:17142.1K application/octet-stream
acl2-infix_7.2dfsg-2_amd64.deb2016-May-05 02:24:05392.3K application/octet-stream
acl2-infix_7.2dfsg-2_i386.deb2016-May-05 03:09:20369.1K application/octet-stream
acl2-infix_7.2dfsg-2build2_amd64.deb2016-Sep-27 00:19:28400.8K application/octet-stream
acl2-infix_7.2dfsg-2build2_i386.deb2016-Sep-26 23:44:40374.1K application/octet-stream
acl2-source_4.2-1_all.deb2011-Sep-01 23:03:563M application/octet-stream
acl2-source_6.3-5_all.deb2013-Oct-24 12:36:223.6M application/octet-stream
acl2-source_7.0-1_all.deb2015-Jan-27 09:50:172.7M application/octet-stream
acl2-source_7.1-1_all.deb2015-Jun-27 09:48:412.7M application/octet-stream
acl2-source_7.2dfsg-2_all.deb2016-May-05 02:24:132.8M application/octet-stream
acl2-source_7.2dfsg-2build1_all.deb2016-Sep-17 14:37:402.7M application/octet-stream
acl2-source_7.2dfsg-2build2_all.deb2016-Sep-27 00:19:292.7M application/octet-stream
acl2_4.2-1.debian.tar.gz2011-May-15 09:04:5417.5K application/x-gzip
acl2_4.2-1.dsc2011-May-15 09:04:541.2K application/octet-stream
acl2_4.2-1_amd64.deb2011-Sep-02 00:04:0325.3M application/octet-stream
acl2_4.2-1_i386.deb2011-Sep-01 23:04:0521.8M application/octet-stream
acl2_4.2.orig.tar.gz2011-May-15 09:04:5411.2M application/x-gzip
acl2_6.3-5.debian.tar.gz2013-Oct-21 09:09:58157.7K application/x-gzip
acl2_6.3-5.dsc2013-Oct-21 09:09:591.7K application/octet-stream
acl2_6.3-5_amd64.deb2013-Oct-24 12:36:2626.6M application/octet-stream
acl2_6.3-5_i386.deb2013-Oct-24 12:36:4322.9M application/octet-stream
acl2_6.3.orig-books.tar.gz2013-Oct-21 09:09:5913M application/x-gzip
acl2_6.3.orig.tar.gz2013-Oct-21 09:09:596.7M application/x-gzip
acl2_7.0-1.debian.tar.xz2015-Jan-27 06:39:14125.8K application/octet-stream
acl2_7.0-1.dsc2015-Jan-27 06:39:212.2K application/octet-stream
acl2_7.0-1_amd64.deb2015-Jan-27 09:50:2315.2M application/octet-stream
acl2_7.0-1_i386.deb2015-Jan-27 12:06:0813.4M application/octet-stream
acl2_7.0.orig.tar.gz2015-Jan-27 06:39:2155.6M application/x-gzip
acl2_7.1-1.debian.tar.xz2015-Jun-01 19:24:15125.9K application/octet-stream
acl2_7.1-1.dsc2015-Jun-01 19:24:182.2K application/octet-stream
acl2_7.1-1_amd64.deb2015-Jun-27 09:48:4016.5M application/octet-stream
acl2_7.1-1_i386.deb2015-Jun-01 22:43:1715.7M application/octet-stream
acl2_7.1.orig.tar.gz2015-Jun-01 19:24:1860.4M application/x-gzip
acl2_7.2dfsg-2.debian.tar.xz2016-May-04 19:29:30198.9K application/octet-stream
acl2_7.2dfsg-2.dsc2016-May-04 19:29:312.2K application/octet-stream
acl2_7.2dfsg-2_amd64.deb2016-May-05 02:24:1617M application/octet-stream
acl2_7.2dfsg-2_i386.deb2016-May-05 03:09:2215.2M application/octet-stream
acl2_7.2dfsg-2build2.debian.tar.xz2016-Sep-26 17:24:28199.2K application/octet-stream
acl2_7.2dfsg-2build2.dsc2016-Sep-26 17:24:272.2K application/octet-stream
acl2_7.2dfsg-2build2_amd64.deb2016-Sep-27 00:19:2916.8M application/octet-stream
acl2_7.2dfsg-2build2_i386.deb2016-Sep-26 23:44:4115.4M application/octet-stream
acl2_7.2dfsg.orig.tar.gz2016-Apr-26 18:12:4661.4M application/x-gzip