Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 04:04 4958070
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 08:05 1941782
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 02:04 1978076
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 03:03 1984690
acl2-books-certs_4.3-3_all.deb 18-May-2012 14:33 4415296
acl2-books-certs_6.0-2_all.deb 14-Jan-2013 07:33 5188120
acl2-books-source_3.1-1_all.deb 07-Dec-2006 04:04 2245324
acl2-books-source_3.6-4_all.deb 16-Feb-2010 08:05 4915400
acl2-books-source_4.1-5_all.deb 09-Nov-2010 02:04 5090122
acl2-books-source_4.2-1_all.deb 02-Sep-2011 03:03 5119974
acl2-books-source_4.3-3_all.deb 18-May-2012 14:33 6459880
acl2-books-source_6.0-2_all.deb 14-Jan-2013 07:33 7818444
acl2-books_3.1-1_i386.deb 07-Dec-2006 04:04 1587336
acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 6393074
acl2-books_3.6-4_amd64.deb 16-Feb-2010 08:05 34787264
acl2-books_3.6-4_i386.deb 16-Feb-2010 08:05 30005538
acl2-books_4.1-5_amd64.deb 09-Nov-2010 03:04 41224042
acl2-books_4.1-5_i386.deb 09-Nov-2010 02:04 35991274
acl2-books_4.2-1_amd64.deb 02-Sep-2011 04:04 41344624
acl2-books_4.2-1_i386.deb 02-Sep-2011 03:04 36080612
acl2-books_4.3-3_amd64.deb 18-May-2012 16:34 15854556
acl2-books_4.3-3_i386.deb 18-May-2012 14:33 13915430
acl2-books_6.0-2_amd64.deb 14-Jan-2013 08:03 18878760
acl2-books_6.0-2_i386.deb 14-Jan-2013 07:33 16415586
acl2-doc_3.1-1_all.deb 07-Dec-2006 04:04 2019780
acl2-doc_3.6-4_all.deb 16-Feb-2010 08:05 2396398
acl2-doc_4.1-5_all.deb 09-Nov-2010 02:04 2702348
acl2-doc_4.2-1_all.deb 02-Sep-2011 03:03 270088
acl2-doc_4.3-3_all.deb 18-May-2012 14:33 355946
acl2-doc_6.0-2_all.deb 14-Jan-2013 07:33 7596304
acl2-emacs_3.1-1_all.deb 07-Dec-2006 04:04 50576
acl2-emacs_3.6-4_all.deb 16-Feb-2010 08:05 57272
acl2-emacs_4.1-5_all.deb 09-Nov-2010 02:04 51256
acl2-emacs_4.2-1_all.deb 02-Sep-2011 03:03 52768
acl2-emacs_4.3-3_all.deb 18-May-2012 14:33 54232
acl2-emacs_6.0-2_all.deb 14-Jan-2013 07:33 55346
acl2-infix-source_3.1-1_all.deb 07-Dec-2006 04:04 85372
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 08:05 86392
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 02:04 80350
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 03:03 81590
acl2-infix-source_4.3-3_all.deb 18-May-2012 14:33 88052
acl2-infix-source_6.0-2_all.deb 14-Jan-2013 07:33 88932
acl2-infix_3.1-1_i386.deb 07-Dec-2006 04:04 170064
acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 199582
acl2-infix_3.6-4_amd64.deb 16-Feb-2010 08:05 430860
acl2-infix_3.6-4_i386.deb 16-Feb-2010 08:05 388582
acl2-infix_4.1-5_amd64.deb 09-Nov-2010 03:04 452000
acl2-infix_4.1-5_i386.deb 09-Nov-2010 02:04 412352
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 04:04 448738
acl2-infix_4.2-1_i386.deb 02-Sep-2011 03:04 409750
acl2-infix_4.3-3_amd64.deb 18-May-2012 16:34 198786
acl2-infix_4.3-3_i386.deb 18-May-2012 14:33 176820
acl2-infix_6.0-2_amd64.deb 14-Jan-2013 08:03 199240
acl2-infix_6.0-2_i386.deb 14-Jan-2013 07:33 177780
acl2-source_3.1-1_all.deb 07-Dec-2006 04:04 2269052
acl2-source_3.6-4_all.deb 16-Feb-2010 08:05 2737328
acl2-source_4.1-5_all.deb 09-Nov-2010 02:04 3025272
acl2-source_4.2-1_all.deb 02-Sep-2011 03:03 3124826
acl2-source_4.3-3_all.deb 18-May-2012 14:33 3283508
acl2-source_6.0-2_all.deb 14-Jan-2013 07:33 3701254
acl2_3.1-1_i386.deb 07-Dec-2006 04:04 15515156
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 00:03 13693
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 00:03 1037
acl2_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 18964582
acl2_3.3.orig.tar.gz 04-Dec-2007 12:05 7318498
acl2_3.6-4.diff.gz 02-Feb-2010 00:06 15164
acl2_3.6-4.dsc 02-Feb-2010 00:06 1168
acl2_3.6-4_amd64.deb 16-Feb-2010 08:05 22894884
acl2_3.6-4_i386.deb 16-Feb-2010 08:05 20522590
acl2_3.6.orig.tar.gz 02-Feb-2010 00:06 10497441
acl2_4.1-5.debian.tar.gz 07-Nov-2010 12:05 17789
acl2_4.1-5.dsc 07-Nov-2010 12:05 1194
acl2_4.1-5_amd64.deb 09-Nov-2010 03:04 25934446
acl2_4.1-5_i386.deb 09-Nov-2010 02:04 21898136
acl2_4.1.orig.tar.gz 15-Oct-2010 11:08 11463683
acl2_4.2-1.debian.tar.gz 15-May-2011 13:04 17887
acl2_4.2-1.dsc 15-May-2011 13:04 1194
acl2_4.2-1_amd64.deb 02-Sep-2011 04:04 26579714
acl2_4.2-1_i386.deb 02-Sep-2011 03:04 22815150
acl2_4.2.orig.tar.gz 15-May-2011 13:04 11699557
acl2_4.3-3.debian.tar.gz 06-May-2012 04:34 18297
acl2_4.3-3.dsc 06-May-2012 04:34 1491
acl2_4.3-3_amd64.deb 18-May-2012 16:34 28377692
acl2_4.3-3_i386.deb 18-May-2012 14:33 24398036
acl2_4.3.orig.tar.gz 30-Apr-2012 19:43 15251431
acl2_6.0-2.debian.tar.gz 14-Jan-2013 05:33 159054
acl2_6.0-2.dsc 14-Jan-2013 05:33 1741
acl2_6.0-2_amd64.deb 14-Jan-2013 08:03 31730738
acl2_6.0-2_i386.deb 14-Jan-2013 07:33 27043242
acl2_6.0.orig-books.tar.gz 13-Jan-2013 11:33 10961166
acl2_6.0.orig.tar.gz 13-Jan-2013 11:33 6774056