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

Name Last Modified Size Type
Parent Directory  Directory
acl2-books-certs_3.6-4_all.deb2010-Feb-16 03:05:021.9M application/octet-stream
acl2-books-certs_4.2-1_all.deb2011-Sep-01 23:03:571.9M application/octet-stream
acl2-books-certs_4.3-3_all.deb2012-May-18 10:33:394.2M application/octet-stream
acl2-books-certs_6.0-2_all.deb2013-Jan-14 02:33:214.9M application/octet-stream
acl2-books-certs_6.2-6_all.deb2013-Jul-31 10:38:239.7M application/octet-stream
acl2-books-certs_6.3-5_all.deb2013-Oct-24 12:36:2311.1M application/octet-stream
acl2-books-source_3.6-4_all.deb2010-Feb-16 03:05:024.7M application/octet-stream
acl2-books-source_4.2-1_all.deb2011-Sep-01 23:03:564.9M application/octet-stream
acl2-books-source_4.3-3_all.deb2012-May-18 10:33:386.2M application/octet-stream
acl2-books-source_6.0-2_all.deb2013-Jan-14 02:33:207.5M application/octet-stream
acl2-books-source_6.2-6_all.deb2013-Jul-31 10:38:247.3M application/octet-stream
acl2-books-source_6.3-5_all.deb2013-Oct-24 12:36:249.1M application/octet-stream
acl2-books_3.6-4_amd64.deb2010-Feb-16 03:05:0433.2M application/octet-stream
acl2-books_3.6-4_i386.deb2010-Feb-16 03:05:2028.6M 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_4.3-3_amd64.deb2012-May-18 12:34:2515.1M application/octet-stream
acl2-books_4.3-3_i386.deb2012-May-18 10:33:4213.3M application/octet-stream
acl2-books_6.0-2_amd64.deb2013-Jan-14 03:03:1718M application/octet-stream
acl2-books_6.0-2_i386.deb2013-Jan-14 02:33:2315.7M application/octet-stream
acl2-books_6.2-6_amd64.deb2013-Jul-31 10:53:3734.1M application/octet-stream
acl2-books_6.2-6_i386.deb2013-Jul-31 10:38:2930.2M 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-doc_3.6-4_all.deb2010-Feb-16 03:05:022.3M application/octet-stream
acl2-doc_4.2-1_all.deb2011-Sep-01 23:03:56263.8K application/octet-stream
acl2-doc_4.3-3_all.deb2012-May-18 10:33:38347.6K application/octet-stream
acl2-doc_6.0-2_all.deb2013-Jan-14 02:33:207.2M application/octet-stream
acl2-doc_6.2-6_all.deb2013-Jul-31 10:38:237.5M application/octet-stream
acl2-doc_6.3-5_all.deb2013-Oct-24 12:36:2512.1M application/octet-stream
acl2-emacs_3.6-4_all.deb2010-Feb-16 03:05:0155.9K application/octet-stream
acl2-emacs_4.2-1_all.deb2011-Sep-01 23:03:5651.5K application/octet-stream
acl2-emacs_4.3-3_all.deb2012-May-18 10:33:3753K application/octet-stream
acl2-emacs_6.0-2_all.deb2013-Jan-14 02:33:1954K application/octet-stream
acl2-emacs_6.2-6_all.deb2013-Jul-31 10:38:2453.4K application/octet-stream
acl2-emacs_6.3-5_all.deb2013-Oct-24 12:36:2455K application/octet-stream
acl2-infix-source_3.6-4_all.deb2010-Feb-16 03:05:0184.4K application/octet-stream
acl2-infix-source_4.2-1_all.deb2011-Sep-01 23:03:5679.7K application/octet-stream
acl2-infix-source_4.3-3_all.deb2012-May-18 10:33:3786K application/octet-stream
acl2-infix-source_6.0-2_all.deb2013-Jan-14 02:33:1986.8K application/octet-stream
acl2-infix-source_6.2-6_all.deb2013-Jul-31 10:38:2386.2K application/octet-stream
acl2-infix-source_6.3-5_all.deb2013-Oct-24 12:36:2486K application/octet-stream
acl2-infix_3.6-4_amd64.deb2010-Feb-16 03:05:03420.8K application/octet-stream
acl2-infix_3.6-4_i386.deb2010-Feb-16 03:05:19379.5K 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_4.3-3_amd64.deb2012-May-18 12:34:25194.1K application/octet-stream
acl2-infix_4.3-3_i386.deb2012-May-18 10:33:41172.7K application/octet-stream
acl2-infix_6.0-2_amd64.deb2013-Jan-14 03:03:16194.6K application/octet-stream
acl2-infix_6.0-2_i386.deb2013-Jan-14 02:33:22173.6K application/octet-stream
acl2-infix_6.2-6_amd64.deb2013-Jul-31 10:53:36198.1K application/octet-stream
acl2-infix_6.2-6_i386.deb2013-Jul-31 10:38:28181K 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-source_3.6-4_all.deb2010-Feb-16 03:05:012.6M application/octet-stream
acl2-source_4.2-1_all.deb2011-Sep-01 23:03:563M application/octet-stream
acl2-source_4.3-3_all.deb2012-May-18 10:33:373.1M application/octet-stream
acl2-source_6.0-2_all.deb2013-Jan-14 02:33:193.5M application/octet-stream
acl2-source_6.2-6_all.deb2013-Jul-31 10:38:233.6M application/octet-stream
acl2-source_6.3-5_all.deb2013-Oct-24 12:36:223.6M application/octet-stream
acl2_3.6-4.diff.gz2010-Feb-01 19:06:2214.8K application/x-gzip
acl2_3.6-4.dsc2010-Feb-01 19:06:221.1K application/octet-stream
acl2_3.6-4_amd64.deb2010-Feb-16 03:05:0421.8M application/octet-stream
acl2_3.6-4_i386.deb2010-Feb-16 03:05:2119.6M application/octet-stream
acl2_3.6.orig.tar.gz2010-Feb-01 19:06:2210M application/x-gzip
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_4.3-3.debian.tar.gz2012-May-06 00:34:4617.9K application/x-gzip
acl2_4.3-3.dsc2012-May-06 00:34:461.5K application/octet-stream
acl2_4.3-3_amd64.deb2012-May-18 12:34:2827.1M application/octet-stream
acl2_4.3-3_i386.deb2012-May-18 10:33:4523.3M application/octet-stream
acl2_4.3.orig.tar.gz2012-Apr-30 15:43:0514.5M application/x-gzip
acl2_6.0-2.debian.tar.gz2013-Jan-14 00:33:22155.3K application/x-gzip
acl2_6.0-2.dsc2013-Jan-14 00:33:251.7K application/octet-stream
acl2_6.0-2_amd64.deb2013-Jan-14 03:03:1730.3M application/octet-stream
acl2_6.0-2_i386.deb2013-Jan-14 02:33:2425.8M application/octet-stream
acl2_6.0.orig-books.tar.gz2013-Jan-13 06:33:5410.5M application/x-gzip
acl2_6.0.orig.tar.gz2013-Jan-13 06:33:546.5M application/x-gzip
acl2_6.2-6.debian.tar.gz2013-Jul-31 05:38:24156.9K application/x-gzip
acl2_6.2-6.dsc2013-Jul-31 05:38:251.7K application/octet-stream
acl2_6.2-6_amd64.deb2013-Jul-31 10:53:4026.8M application/octet-stream
acl2_6.2-6_i386.deb2013-Jul-31 10:38:2723M application/octet-stream
acl2_6.2.orig-books.tar.gz2013-Jul-13 07:28:1810.8M application/x-gzip
acl2_6.2.orig.tar.gz2013-Jul-13 07:28:186.6M 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-6.debian.tar.gz2013-Nov-17 12:18:27157.7K application/x-gzip
acl2_6.3-6.dsc2013-Nov-17 12:18:271.7K 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