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


../
acl2-books-certs_3.1-1_all.deb                     07-Dec-2006 04:04      5M
acl2-books-certs_3.6-4_all.deb                     16-Feb-2010 08:05      2M
acl2-books-certs_4.0-3_all.deb                     08-Sep-2010 22:05      2M
acl2-books-certs_4.1-5_all.deb                     09-Nov-2010 02:04      2M
acl2-books-certs_4.2-1_all.deb                     02-Sep-2011 03:03      2M
acl2-books-certs_4.3-3_all.deb                     18-May-2012 14:33      4M
acl2-books-source_3.1-1_all.deb                    07-Dec-2006 04:04      2M
acl2-books-source_3.6-4_all.deb                    16-Feb-2010 08:05      5M
acl2-books-source_4.0-3_all.deb                    08-Sep-2010 22:05      5M
acl2-books-source_4.1-5_all.deb                    09-Nov-2010 02:04      5M
acl2-books-source_4.2-1_all.deb                    02-Sep-2011 03:03      5M
acl2-books-source_4.3-3_all.deb                    18-May-2012 14:33      6M
acl2-books_3.1-1_i386.deb                          07-Dec-2006 04:04      2M
acl2-books_3.3-1ubuntu1_amd64.deb                  17-Feb-2008 02:03      6M
acl2-books_3.6-4_amd64.deb                         16-Feb-2010 08:05     33M
acl2-books_3.6-4_i386.deb                          16-Feb-2010 08:05     29M
acl2-books_4.0-3_amd64.deb                         07-Sep-2010 05:05     37M
acl2-books_4.0-3_i386.deb                          08-Sep-2010 22:05     32M
acl2-books_4.1-5_amd64.deb                         09-Nov-2010 03:04     39M
acl2-books_4.1-5_i386.deb                          09-Nov-2010 02:04     34M
acl2-books_4.2-1_amd64.deb                         02-Sep-2011 04:04     39M
acl2-books_4.2-1_i386.deb                          02-Sep-2011 03:04     34M
acl2-books_4.3-3_amd64.deb                         18-May-2012 16:34     15M
acl2-books_4.3-3_i386.deb                          18-May-2012 14:33     13M
acl2-doc_3.1-1_all.deb                             07-Dec-2006 04:04      2M
acl2-doc_3.6-4_all.deb                             16-Feb-2010 08:05      2M
acl2-doc_4.0-3_all.deb                             08-Sep-2010 22:05      3M
acl2-doc_4.1-5_all.deb                             09-Nov-2010 02:04      3M
acl2-doc_4.2-1_all.deb                             02-Sep-2011 03:03    264K
acl2-doc_4.3-3_all.deb                             18-May-2012 14:33    348K
acl2-emacs_3.1-1_all.deb                           07-Dec-2006 04:04     49K
acl2-emacs_3.6-4_all.deb                           16-Feb-2010 08:05     56K
acl2-emacs_4.0-3_all.deb                           08-Sep-2010 22:05     56K
acl2-emacs_4.1-5_all.deb                           09-Nov-2010 02:04     50K
acl2-emacs_4.2-1_all.deb                           02-Sep-2011 03:03     52K
acl2-emacs_4.3-3_all.deb                           18-May-2012 14:33     53K
acl2-infix-source_3.1-1_all.deb                    07-Dec-2006 04:04     83K
acl2-infix-source_3.6-4_all.deb                    16-Feb-2010 08:05     84K
acl2-infix-source_4.0-3_all.deb                    08-Sep-2010 22:05     85K
acl2-infix-source_4.1-5_all.deb                    09-Nov-2010 02:04     78K
acl2-infix-source_4.2-1_all.deb                    02-Sep-2011 03:03     80K
acl2-infix-source_4.3-3_all.deb                    18-May-2012 14:33     86K
acl2-infix_3.1-1_i386.deb                          07-Dec-2006 04:04    166K
acl2-infix_3.3-1ubuntu1_amd64.deb                  17-Feb-2008 02:03    195K
acl2-infix_3.6-4_amd64.deb                         16-Feb-2010 08:05    421K
acl2-infix_3.6-4_i386.deb                          16-Feb-2010 08:05    379K
acl2-infix_4.0-3_amd64.deb                         07-Sep-2010 05:05    421K
acl2-infix_4.0-3_i386.deb                          08-Sep-2010 22:05    380K
acl2-infix_4.1-5_amd64.deb                         09-Nov-2010 03:04    441K
acl2-infix_4.1-5_i386.deb                          09-Nov-2010 02:04    403K
acl2-infix_4.2-1_amd64.deb                         02-Sep-2011 04:04    438K
acl2-infix_4.2-1_i386.deb                          02-Sep-2011 03:04    400K
acl2-infix_4.3-3_amd64.deb                         18-May-2012 16:34    194K
acl2-infix_4.3-3_i386.deb                          18-May-2012 14:33    173K
acl2-source_3.1-1_all.deb                          07-Dec-2006 04:04      2M
acl2-source_3.6-4_all.deb                          16-Feb-2010 08:05      3M
acl2-source_4.0-3_all.deb                          08-Sep-2010 22:05      3M
acl2-source_4.1-5_all.deb                          09-Nov-2010 02:04      3M
acl2-source_4.2-1_all.deb                          02-Sep-2011 03:03      3M
acl2-source_4.3-3_all.deb                          18-May-2012 14:33      3M
acl2_3.1-1_i386.deb                                07-Dec-2006 04:04     15M
acl2_3.3-1ubuntu1.diff.gz                          17-Feb-2008 00:03     13K
acl2_3.3-1ubuntu1.dsc                              17-Feb-2008 00:03    1037
acl2_3.3-1ubuntu1_amd64.deb                        17-Feb-2008 02:03     18M
acl2_3.3.orig.tar.gz                               04-Dec-2007 12:05      7M
acl2_3.6-4.diff.gz                                 02-Feb-2010 00:06     15K
acl2_3.6-4.dsc                                     02-Feb-2010 00:06    1168
acl2_3.6-4_amd64.deb                               16-Feb-2010 08:05     22M
acl2_3.6-4_i386.deb                                16-Feb-2010 08:05     20M
acl2_3.6.orig.tar.gz                               02-Feb-2010 00:06     10M
acl2_4.0-3.diff.gz                                 07-Sep-2010 00:05     16K
acl2_4.0-3.dsc                                     07-Sep-2010 00:05    1168
acl2_4.0-3_amd64.deb                               07-Sep-2010 05:05     25M
acl2_4.0-3_i386.deb                                08-Sep-2010 22:05     21M
acl2_4.0.orig.tar.gz                               07-Sep-2010 00:05     11M
acl2_4.1-5.debian.tar.gz                           07-Nov-2010 12:05     17K
acl2_4.1-5.dsc                                     07-Nov-2010 12:05    1194
acl2_4.1-5_amd64.deb                               09-Nov-2010 03:04     25M
acl2_4.1-5_i386.deb                                09-Nov-2010 02:04     21M
acl2_4.1.orig.tar.gz                               15-Oct-2010 11:08     11M
acl2_4.2-1.debian.tar.gz                           15-May-2011 13:04     17K
acl2_4.2-1.dsc                                     15-May-2011 13:04    1194
acl2_4.2-1_amd64.deb                               02-Sep-2011 04:04     25M
acl2_4.2-1_i386.deb                                02-Sep-2011 03:04     22M
acl2_4.2.orig.tar.gz                               15-May-2011 13:04     11M
acl2_4.3-3.debian.tar.gz                           06-May-2012 04:34     18K
acl2_4.3-3.dsc                                     06-May-2012 04:34    1491
acl2_4.3-3_amd64.deb                               18-May-2012 16:34     27M
acl2_4.3-3_i386.deb                                18-May-2012 14:33     23M
acl2_4.3.orig.tar.gz                               30-Apr-2012 19:43     15M