Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] acl2-books-certs_3.1-1_all.deb                     07-Dec-2006 04:04  4.7M  
[   ] acl2-books-certs_3.6-4_all.deb                     16-Feb-2010 08:05  1.9M  
[   ] acl2-books-certs_4.0-3_all.deb                     08-Sep-2010 22:05  1.9M  
[   ] acl2-books-certs_4.1-5_all.deb                     09-Nov-2010 02:04  1.9M  
[   ] acl2-books-certs_4.2-1_all.deb                     02-Sep-2011 03:03  1.9M  
[   ] acl2-books-certs_4.3-3_all.deb                     18-May-2012 14:33  4.2M  
[   ] acl2-books-source_3.1-1_all.deb                    07-Dec-2006 04:04  2.1M  
[   ] acl2-books-source_3.6-4_all.deb                    16-Feb-2010 08:05  4.7M  
[   ] acl2-books-source_4.0-3_all.deb                    08-Sep-2010 22:05  4.8M  
[   ] acl2-books-source_4.1-5_all.deb                    09-Nov-2010 02:04  4.9M  
[   ] acl2-books-source_4.2-1_all.deb                    02-Sep-2011 03:03  4.9M  
[   ] acl2-books-source_4.3-3_all.deb                    18-May-2012 14:33  6.2M  
[   ] acl2-books_3.1-1_i386.deb                          07-Dec-2006 04:04  1.5M  
[   ] acl2-books_3.3-1ubuntu1_amd64.deb                  17-Feb-2008 02:03  6.1M  
[   ] 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  1.9M  
[   ] acl2-doc_3.6-4_all.deb                             16-Feb-2010 08:05  2.3M  
[   ] acl2-doc_4.0-3_all.deb                             08-Sep-2010 22:05  2.6M  
[   ] acl2-doc_4.1-5_all.deb                             09-Nov-2010 02:04  2.6M  
[   ] 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  2.2M  
[   ] acl2-source_3.6-4_all.deb                          16-Feb-2010 08:05  2.6M  
[   ] acl2-source_4.0-3_all.deb                          08-Sep-2010 22:05  2.9M  
[   ] acl2-source_4.1-5_all.deb                          09-Nov-2010 02:04  2.9M  
[   ] acl2-source_4.2-1_all.deb                          02-Sep-2011 03:03  3.0M  
[   ] acl2-source_4.3-3_all.deb                          18-May-2012 14:33  3.1M  
[   ] acl2_3.1-1_i386.deb                                07-Dec-2006 04:04   15M  
[   ] acl2_3.3-1ubuntu1.diff.gz                          17-Feb-2008 00:03   13K  
[TXT] acl2_3.3-1ubuntu1.dsc                              17-Feb-2008 00:03  1.0K  
[   ] acl2_3.3-1ubuntu1_amd64.deb                        17-Feb-2008 02:03   18M  
[   ] acl2_3.3.orig.tar.gz                               04-Dec-2007 12:05  7.0M  
[   ] acl2_3.6-4.diff.gz                                 02-Feb-2010 00:06   15K  
[TXT] acl2_3.6-4.dsc                                     02-Feb-2010 00:06  1.1K  
[   ] 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  
[TXT] acl2_4.0-3.dsc                                     07-Sep-2010 00:05  1.1K  
[   ] 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  
[TXT] acl2_4.1-5.dsc                                     07-Nov-2010 12:05  1.2K  
[   ] 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  
[TXT] acl2_4.2-1.dsc                                     15-May-2011 13:04  1.2K  
[   ] 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  
[TXT] acl2_4.3-3.dsc                                     06-May-2012 04:34  1.5K  
[   ] 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
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 142.53 Mbit/s | OSUOSL © 2012