Index of /anvil/pool/universe/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_4.1-5_all.deb2010-11-09 02:04 1.9M 
[ ]acl2-books-certs_4.2-1_all.deb2011-09-22 18:43 1.9M 
[ ]acl2-books-certs_4.3-3_all.deb2012-09-30 04:35 4.2M 
[ ]acl2-books-certs_6.0-2_all.deb2013-04-27 14:28 4.9M 
[ ]acl2-books-certs_6.2-6_all.deb2013-09-27 03:59 9.7M 
[ ]acl2-books-certs_6.3-5_all.deb2014-04-05 15:15 11M 
[ ]acl2-books-certs_6.4-4_all.deb2014-12-20 19:18 4.0M 
[ ]acl2-books-certs_7.0-1_all.deb2015-05-01 09:51 66M 
[ ]acl2-books-source_4.1-5_all.deb2010-11-09 02:04 4.9M 
[ ]acl2-books-source_4.2-1_all.deb2011-09-22 18:43 4.9M 
[ ]acl2-books-source_4.3-3_all.deb2012-09-30 04:34 6.2M 
[ ]acl2-books-source_6.0-2_all.deb2013-04-27 14:27 7.5M 
[ ]acl2-books-source_6.2-6_all.deb2013-09-27 04:00 7.3M 
[ ]acl2-books-source_6.3-5_all.deb2014-04-05 15:13 9.1M 
[ ]acl2-books-source_6.4-4_all.deb2014-12-20 19:19 6.2M 
[ ]acl2-books-source_7.0-1_all.deb2015-05-01 09:52 8.4M 
[ ]acl2-books_4.1-5_amd64.deb2010-11-09 03:04 39M 
[ ]acl2-books_4.1-5_i386.deb2010-11-09 02:04 34M 
[ ]acl2-books_4.2-1_amd64.deb2011-09-22 18:48 39M 
[ ]acl2-books_4.2-1_i386.deb2011-09-22 18:42 34M 
[ ]acl2-books_4.3-3_amd64.deb2012-10-08 02:12 15M 
[ ]acl2-books_4.3-3_i386.deb2012-09-30 04:35 13M 
[ ]acl2-books_6.0-2_amd64.deb2013-05-05 14:34 18M 
[ ]acl2-books_6.0-2_i386.deb2013-04-27 14:26 16M 
[ ]acl2-books_6.2-6_amd64.deb2013-10-06 00:07 34M 
[ ]acl2-books_6.2-6_i386.deb2013-09-27 04:00 30M 
[ ]acl2-books_6.3-5_amd64.deb2014-04-15 09:19 40M 
[ ]acl2-books_6.3-5_i386.deb2014-04-05 15:16 36M 
[ ]acl2-books_6.4-4_amd64.deb2014-12-31 06:39 19M 
[ ]acl2-books_6.4-4_i386.deb2014-12-20 19:19 17M 
[ ]acl2-books_7.0-1_amd64.deb2015-05-12 16:47 24M 
[ ]acl2-books_7.0-1_i386.deb2015-05-01 09:55 23M 
[ ]acl2-doc_4.1-5_all.deb2010-11-09 02:04 2.6M 
[ ]acl2-doc_4.2-1_all.deb2011-09-22 18:44 264K 
[ ]acl2-doc_4.3-3_all.deb2012-09-30 04:34 348K 
[ ]acl2-doc_6.0-2_all.deb2013-04-27 14:26 7.2M 
[ ]acl2-doc_6.2-6_all.deb2013-09-27 03:59 7.5M 
[ ]acl2-doc_6.3-5_all.deb2014-04-05 15:14 12M 
[ ]acl2-doc_6.4-4_all.deb2014-12-20 19:18 1.6M 
[ ]acl2-doc_7.0-1_all.deb2015-05-01 09:53 331K 
[ ]acl2-emacs_4.1-5_all.deb2010-11-09 02:04 50K 
[ ]acl2-emacs_4.2-1_all.deb2011-09-22 18:45 52K 
[ ]acl2-emacs_4.3-3_all.deb2012-09-30 04:37 53K 
[ ]acl2-emacs_6.0-2_all.deb2013-04-27 14:25 54K 
[ ]acl2-emacs_6.2-6_all.deb2013-09-27 04:01 53K 
[ ]acl2-emacs_6.3-5_all.deb2014-04-05 15:14 55K 
[ ]acl2-emacs_6.4-4_all.deb2014-12-20 19:21 53K 
[ ]acl2-emacs_7.0-1_all.deb2015-05-01 09:54 54K 
[ ]acl2-infix-source_4.1-5_all.deb2010-11-09 02:04 78K 
[ ]acl2-infix-source_4.2-1_all.deb2011-09-22 18:46 80K 
[ ]acl2-infix-source_4.3-3_all.deb2012-09-30 04:35 86K 
[ ]acl2-infix-source_6.0-2_all.deb2013-04-27 14:26 87K 
[ ]acl2-infix-source_6.2-6_all.deb2013-09-27 04:02 86K 
[ ]acl2-infix-source_6.3-5_all.deb2014-04-05 15:12 86K 
[ ]acl2-infix-source_6.4-4_all.deb2014-12-20 19:20 70K 
[ ]acl2-infix-source_7.0-1_all.deb2015-05-01 09:52 72K 
[ ]acl2-infix_4.1-5_amd64.deb2010-11-09 03:04 441K 
[ ]acl2-infix_4.1-5_i386.deb2010-11-09 02:04 403K 
[ ]acl2-infix_4.2-1_amd64.deb2011-09-22 18:48 438K 
[ ]acl2-infix_4.2-1_i386.deb2011-09-22 18:45 400K 
[ ]acl2-infix_4.3-3_amd64.deb2012-10-08 02:12 194K 
[ ]acl2-infix_4.3-3_i386.deb2012-09-30 04:36 173K 
[ ]acl2-infix_6.0-2_amd64.deb2013-05-05 14:35 195K 
[ ]acl2-infix_6.0-2_i386.deb2013-04-27 14:27 174K 
[ ]acl2-infix_6.2-6_amd64.deb2013-10-06 00:07 198K 
[ ]acl2-infix_6.2-6_i386.deb2013-09-27 04:01 181K 
[ ]acl2-infix_6.3-5_amd64.deb2014-04-15 09:19 200K 
[ ]acl2-infix_6.3-5_i386.deb2014-04-05 15:15 189K 
[ ]acl2-infix_6.4-4_amd64.deb2014-12-31 06:40 140K 
[ ]acl2-infix_6.4-4_i386.deb2014-12-20 19:17 136K 
[ ]acl2-infix_7.0-1_amd64.deb2015-05-12 16:48 140K 
[ ]acl2-infix_7.0-1_i386.deb2015-05-01 09:51 142K 
[ ]acl2-source_4.1-5_all.deb2010-11-09 02:04 2.9M 
[ ]acl2-source_4.2-1_all.deb2011-09-22 18:47 3.0M 
[ ]acl2-source_4.3-3_all.deb2012-09-30 04:36 3.1M 
[ ]acl2-source_6.0-2_all.deb2013-04-27 14:28 3.5M 
[ ]acl2-source_6.2-6_all.deb2013-09-27 03:58 3.6M 
[ ]acl2-source_6.3-5_all.deb2014-04-05 15:12 3.6M 
[ ]acl2-source_6.4-4_all.deb2014-12-20 19:20 2.6M 
[ ]acl2-source_7.0-1_all.deb2015-05-01 09:53 2.7M 
[ ]acl2_4.1-5.debian.tar.gz2010-11-07 12:05 17K 
[ ]acl2_4.1-5.dsc2010-11-07 12:05 1.2K 
[ ]acl2_4.1-5_amd64.deb2010-11-09 03:04 25M 
[ ]acl2_4.1-5_i386.deb2010-11-09 02:04 21M 
[ ]acl2_4.1.orig.tar.gz2010-10-15 12:08 11M 
[ ]acl2_4.2-1.debian.tar.gz2011-08-15 20:59 17K 
[ ]acl2_4.2-1.dsc2011-08-15 20:59 1.2K 
[ ]acl2_4.2-1_amd64.deb2011-09-22 18:47 25M 
[ ]acl2_4.2-1_i386.deb2011-09-22 18:42 22M 
[ ]acl2_4.2.orig.tar.gz2011-08-15 20:59 11M 
[ ]acl2_4.3-3.debian.tar.gz2012-09-26 12:31 18K 
[ ]acl2_4.3-3.dsc2012-09-26 12:31 1.5K 
[ ]acl2_4.3-3_amd64.deb2012-10-08 02:11 27M 
[ ]acl2_4.3-3_i386.deb2012-09-30 04:37 23M 
[ ]acl2_4.3.orig.tar.gz2012-09-26 12:31 15M 
[ ]acl2_6.0-2_amd64.deb2013-05-05 14:35 30M 
[ ]acl2_6.0-2_i386.deb2013-04-27 14:28 26M 
[ ]acl2_6.2-6_amd64.deb2013-10-06 00:06 27M 
[ ]acl2_6.2-6_i386.deb2013-09-27 04:00 23M 
[ ]acl2_6.3-5_amd64.deb2014-04-15 09:19 27M 
[ ]acl2_6.3-5_i386.deb2014-04-05 15:12 23M 
[ ]acl2_6.4-4.debian.tar.xz2015-01-05 00:45 124K 
[ ]acl2_6.4-4.dsc2015-01-05 00:45 1.8K 
[ ]acl2_6.4-4_amd64.deb2014-12-31 06:39 15M 
[ ]acl2_6.4-4_i386.deb2014-12-20 19:21 12M 
[ ]acl2_6.4.orig-books.tar.gz2015-01-05 00:45 14M 
[ ]acl2_6.4.orig.tar.gz2015-01-05 00:45 5.8M 
[ ]acl2_7.0-1.debian.tar.xz2015-05-17 04:55 126K 
[ ]acl2_7.0-1.dsc2015-05-17 04:55 2.2K 
[ ]acl2_7.0-1_amd64.deb2015-05-12 16:47 15M 
[ ]acl2_7.0-1_i386.deb2015-05-01 09:55 13M 
[ ]acl2_7.0.orig.tar.gz2015-05-17 04:55 56M