Index of /debian/pool/main/a/acl2

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[   ] acl2-books-certs_2.9-2_all.deb          2004-11-11 04:02  289K  
[   ] acl2-books-certs_3.1-1_all.deb          2006-12-04 20:47  4.7M  
[   ] acl2-books-certs_4.0-3_all.deb          2010-07-09 19:02  1.9M  
[   ] acl2-books-certs_4.3-3_all.deb          2012-04-20 21:38  4.2M  
[   ] acl2-books-certs_6.5-2_all.deb          2014-09-08 16:35  6.2M  
[   ] acl2-books-certs_6.5-2~bpo70+1_all.deb  2015-01-14 17:26   19M  
[   ] acl2-books-certs_7.2dfsg-3_all.deb      2016-10-17 16:35   52M  
[   ] acl2-books-source_2.9-2_all.deb         2004-11-11 04:02  1.2M  
[   ] acl2-books-source_3.1-1_all.deb         2006-12-04 20:47  2.1M  
[   ] acl2-books-source_4.0-3_all.deb         2010-07-09 19:02  5.0M  
[   ] acl2-books-source_4.3-3_all.deb         2012-04-20 21:38  6.2M  
[   ] acl2-books-source_6.5-2_all.deb         2014-09-08 16:35  6.6M  
[   ] acl2-books-source_6.5-2~bpo70+1_all.deb 2015-01-14 17:26   10M  
[   ] acl2-books-source_7.2dfsg-3_all.deb     2016-10-17 16:35   10M  
[   ] acl2-books_2.9-2_i386.deb               2004-11-11 04:02  814K  
[   ] acl2-books_3.1-1_amd64.deb              2006-12-04 22:47  2.2M  
[   ] acl2-books_3.1-1_i386.deb               2006-12-04 20:47  1.5M  
[   ] acl2-books_4.0-3_amd64.deb              2010-07-09 23:32   37M  
[   ] acl2-books_4.0-3_i386.deb               2010-07-09 19:02   32M  
[   ] acl2-books_4.3-3_amd64.deb              2012-04-21 02:02   15M  
[   ] acl2-books_4.3-3_i386.deb               2012-04-20 21:38   13M  
[   ] acl2-books_6.5-2_amd64.deb              2014-09-08 16:35   22M  
[   ] acl2-books_6.5-2_i386.deb               2014-09-08 23:44   21M  
[   ] acl2-books_6.5-2~bpo70+1_amd64.deb      2015-01-14 17:26   47M  
[   ] acl2-books_7.2dfsg-3_amd64.deb          2016-10-17 16:35  103M  
[   ] acl2-books_7.2dfsg-3_i386.deb           2016-10-18 01:35   86M  
[   ] acl2-doc_2.9-2_all.deb                  2004-11-11 04:02  1.7M  
[   ] acl2-doc_3.1-1_all.deb                  2006-12-04 20:47  1.9M  
[   ] acl2-doc_4.0-3_all.deb                  2010-07-09 19:02  2.7M  
[   ] acl2-doc_4.3-3_all.deb                  2012-04-20 21:38  354K  
[   ] acl2-doc_6.5-2_all.deb                  2014-09-08 16:35  1.6M  
[   ] acl2-doc_6.5-2~bpo70+1_all.deb          2015-01-14 17:26  2.2M  
[   ] acl2-doc_7.2dfsg-3_all.deb              2016-10-17 16:35  372K  
[   ] acl2-emacs_2.9-2_all.deb                2005-04-30 13:19   48K  
[   ] acl2-emacs_3.1-1_all.deb                2006-12-04 20:47   49K  
[   ] acl2-emacs_4.0-3_all.deb                2010-07-09 19:02   57K  
[   ] acl2-emacs_4.3-3_all.deb                2012-04-20 21:38   59K  
[   ] acl2-emacs_6.5-2_all.deb                2014-09-08 16:35   59K  
[   ] acl2-emacs_6.5-2~bpo70+1_all.deb        2015-01-14 17:26   71K  
[   ] acl2-emacs_7.2dfsg-3_all.deb            2016-10-17 16:35   63K  
[   ] acl2-infix-source_2.9-2_all.deb         2004-11-11 04:02   82K  
[   ] acl2-infix-source_3.1-1_all.deb         2006-12-04 20:47   83K  
[   ] acl2-infix-source_4.0-3_all.deb         2010-07-09 19:02   87K  
[   ] acl2-infix-source_4.3-3_all.deb         2012-04-20 21:38   89K  
[   ] acl2-infix-source_6.5-2_all.deb         2014-09-08 16:35   78K  
[   ] acl2-infix-source_6.5-2~bpo70+1_all.deb 2015-01-14 17:26   90K  
[   ] acl2-infix-source_7.2dfsg-3_all.deb     2016-10-17 16:35   77K  
[   ] acl2-infix_2.9-2_i386.deb               2004-11-11 04:02  177K  
[   ] acl2-infix_3.1-1_amd64.deb              2006-12-04 22:47  194K  
[   ] acl2-infix_3.1-1_i386.deb               2006-12-04 20:47  168K  
[   ] acl2-infix_4.0-3_amd64.deb              2010-07-09 23:32  420K  
[   ] acl2-infix_4.0-3_i386.deb               2010-07-09 19:02  381K  
[   ] acl2-infix_4.3-3_amd64.deb              2012-04-21 02:02  199K  
[   ] acl2-infix_4.3-3_i386.deb               2012-04-20 21:38  180K  
[   ] acl2-infix_6.5-2_amd64.deb              2014-09-08 16:35  147K  
[   ] acl2-infix_6.5-2_i386.deb               2014-09-08 23:44  148K  
[   ] acl2-infix_6.5-2~bpo70+1_amd64.deb      2015-01-14 17:26  219K  
[   ] acl2-infix_7.2dfsg-3_amd64.deb          2016-10-17 16:35  410K  
[   ] acl2-infix_7.2dfsg-3_i386.deb           2016-10-18 01:35  381K  
[   ] acl2-source_2.9-2_all.deb               2004-11-11 04:02  2.0M  
[   ] acl2-source_3.1-1_all.deb               2006-12-04 20:47  2.2M  
[   ] acl2-source_4.0-3_all.deb               2010-07-09 19:02  2.9M  
[   ] acl2-source_4.3-3_all.deb               2012-04-20 21:38  3.1M  
[   ] acl2-source_6.5-2_all.deb               2014-09-08 16:35  2.6M  
[   ] acl2-source_6.5-2~bpo70+1_all.deb       2015-01-14 17:26  3.7M  
[   ] acl2-source_7.2dfsg-3_all.deb           2016-10-17 16:35  2.8M  
[   ] acl2_2.9-2.diff.gz                      2004-11-11 04:02   18K  
[TXT] acl2_2.9-2.dsc                          2005-04-30 13:19  794   
[   ] acl2_2.9-2_i386.deb                     2004-11-11 04:02   13M  
[   ] acl2_2.9.orig.tar.gz                    2005-04-30 13:19  5.0M  
[   ] acl2_3.1-1.diff.gz                      2006-12-04 20:47   13K  
[TXT] acl2_3.1-1.dsc                          2006-12-04 20:47  822   
[   ] acl2_3.1-1_amd64.deb                    2006-12-04 22:47   18M  
[   ] acl2_3.1-1_i386.deb                     2006-12-04 20:47   15M  
[   ] acl2_3.1.orig.tar.gz                    2006-12-04 20:47  6.4M  
[   ] acl2_4.0-3.diff.gz                      2010-07-09 19:02   16K  
[TXT] acl2_4.0-3.dsc                          2010-07-09 19:02  1.1K  
[   ] acl2_4.0-3_amd64.deb                    2010-07-09 23:32   25M  
[   ] acl2_4.0-3_i386.deb                     2010-07-09 19:02   21M  
[   ] acl2_4.0.orig.tar.gz                    2010-07-08 06:47   11M  
[   ] acl2_4.3-3.debian.tar.gz                2012-04-20 21:38   18K  
[TXT] acl2_4.3-3.dsc                          2012-04-20 21:38  1.5K  
[   ] acl2_4.3-3_amd64.deb                    2012-04-21 02:02   27M  
[   ] acl2_4.3-3_i386.deb                     2012-04-20 21:38   23M  
[   ] acl2_4.3.orig.tar.gz                    2012-01-11 20:47   15M  
[   ] acl2_6.5-2.debian.tar.xz                2014-09-08 16:35  125K  
[TXT] acl2_6.5-2.dsc                          2014-09-08 16:35  1.8K  
[   ] acl2_6.5-2_amd64.deb                    2014-09-08 16:35   16M  
[   ] acl2_6.5-2_i386.deb                     2014-09-08 23:44   13M  
[   ] acl2_6.5-2~bpo70+1.debian.tar.gz        2015-01-14 17:26  160K  
[TXT] acl2_6.5-2~bpo70+1.dsc                  2015-01-14 17:26  2.3K  
[   ] acl2_6.5-2~bpo70+1_amd64.deb            2015-01-14 17:26   24M  
[   ] acl2_6.5.orig-books.tar.gz              2014-08-17 17:21   14M  
[   ] acl2_6.5.orig.tar.gz                    2014-08-17 17:21  5.9M  
[   ] acl2_7.2dfsg-3.debian.tar.xz            2016-10-17 16:35  199K  
[TXT] acl2_7.2dfsg-3.dsc                      2016-10-17 16:35  2.2K  
[   ] acl2_7.2dfsg-3_amd64.deb                2016-10-17 16:35   17M  
[   ] acl2_7.2dfsg-3_i386.deb                 2016-10-18 01:35   15M  
[   ] acl2_7.2dfsg.orig.tar.gz                2016-04-14 15:54   61M