Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] coq-libs_8.1.pl3+dfsg-1_all.deb                    08-Jan-2008 00:07   12M  
[   ] coq-theories_8.2.pl1+dfsg-6_all.deb                27-Feb-2010 17:04   17M  
[   ] coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb         18-Sep-2010 19:04   18M  
[   ] coq-theories_8.3.pl2+dfsg-1build1_all.deb          25-Aug-2011 05:04   50M  
[   ] coq-theories_8.3.pl4+dfsg-1_all.deb                03-Apr-2012 11:04   52M  
[   ] coq-theories_8.3.pl4+dfsg-1build1_all.deb          16-May-2012 03:03   51M  
[   ] coq_8.1.pl3+dfsg-1.diff.gz                         07-Jan-2008 21:03   15K  
[TXT] coq_8.1.pl3+dfsg-1.dsc                             07-Jan-2008 21:03  1.0K  
[   ] coq_8.1.pl3+dfsg-1_amd64.deb                       08-Jan-2008 00:06  8.6M  
[   ] coq_8.1.pl3+dfsg-1_i386.deb                        08-Jan-2008 00:07  8.1M  
[   ] coq_8.1.pl3+dfsg.orig.tar.gz                       07-Jan-2008 21:03  2.4M  
[   ] coq_8.2.pl1+dfsg-6.diff.gz                         27-Feb-2010 16:04   15K  
[TXT] coq_8.2.pl1+dfsg-6.dsc                             27-Feb-2010 16:04  2.2K  
[   ] coq_8.2.pl1+dfsg-6_amd64.deb                       27-Feb-2010 17:04   15M  
[   ] coq_8.2.pl1+dfsg-6_i386.deb                        27-Feb-2010 17:04   13M  
[   ] coq_8.2.pl1+dfsg.orig.tar.gz                       28-Jul-2009 19:13  3.0M  
[   ] coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz            18-Sep-2010 18:05   17K  
[TXT] coq_8.2.pl2+dfsg-1ubuntu1.dsc                      18-Sep-2010 18:05  1.5K  
[   ] coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb                18-Sep-2010 19:04   14M  
[   ] coq_8.2.pl2+dfsg-1ubuntu1_i386.deb                 18-Sep-2010 19:05   13M  
[   ] coq_8.2.pl2+dfsg.orig.tar.gz                       27-Jul-2010 19:05  3.0M  
[   ] coq_8.3.pl2+dfsg-1build1.debian.tar.gz             25-Aug-2011 05:04   16K  
[TXT] coq_8.3.pl2+dfsg-1build1.dsc                       25-Aug-2011 05:04  1.5K  
[   ] coq_8.3.pl2+dfsg-1build1_amd64.deb                 25-Aug-2011 05:04  5.3M  
[   ] coq_8.3.pl2+dfsg-1build1_i386.deb                  25-Aug-2011 05:05  4.7M  
[   ] coq_8.3.pl2+dfsg.orig.tar.gz                       19-May-2011 15:05  3.0M  
[   ] coq_8.3.pl4+dfsg-1.debian.tar.gz                   03-Apr-2012 10:33   16K  
[TXT] coq_8.3.pl4+dfsg-1.dsc                             03-Apr-2012 10:33  2.3K  
[   ] coq_8.3.pl4+dfsg-1_amd64.deb                       03-Apr-2012 11:34  5.3M  
[   ] coq_8.3.pl4+dfsg-1_i386.deb                        03-Apr-2012 11:04  4.7M  
[   ] coq_8.3.pl4+dfsg-1build1.debian.tar.gz             16-May-2012 02:03   16K  
[TXT] coq_8.3.pl4+dfsg-1build1.dsc                       16-May-2012 02:03  1.7K  
[   ] coq_8.3.pl4+dfsg-1build1_amd64.deb                 16-May-2012 03:03  5.3M  
[   ] coq_8.3.pl4+dfsg-1build1_i386.deb                  16-May-2012 03:04  4.7M  
[   ] coq_8.3.pl4+dfsg.orig.tar.gz                       03-Apr-2012 10:33  3.0M  
[   ] coqide_8.1.pl3+dfsg-1_amd64.deb                    08-Jan-2008 00:06  5.0M  
[   ] coqide_8.1.pl3+dfsg-1_i386.deb                     08-Jan-2008 00:07  4.7M  
[   ] coqide_8.2.pl1+dfsg-6_amd64.deb                    27-Feb-2010 17:04  6.2M  
[   ] coqide_8.2.pl1+dfsg-6_i386.deb                     27-Feb-2010 17:04  5.7M  
[   ] coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb             18-Sep-2010 19:04  6.1M  
[   ] coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb              18-Sep-2010 19:05  5.6M  
[   ] coqide_8.3.pl2+dfsg-1build1_amd64.deb              25-Aug-2011 05:04  5.2M  
[   ] coqide_8.3.pl2+dfsg-1build1_i386.deb               25-Aug-2011 05:05  4.9M  
[   ] coqide_8.3.pl4+dfsg-1_amd64.deb                    03-Apr-2012 11:34  5.2M  
[   ] coqide_8.3.pl4+dfsg-1_i386.deb                     03-Apr-2012 11:04  4.9M  
[   ] coqide_8.3.pl4+dfsg-1build1_amd64.deb              16-May-2012 03:03  5.2M  
[   ] coqide_8.3.pl4+dfsg-1build1_i386.deb               16-May-2012 03:03  4.9M  
[   ] libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb          27-Feb-2010 17:04  5.8M  
[   ] libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb           27-Feb-2010 17:04  5.6M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb   18-Sep-2010 19:04  5.7M  
[   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb    18-Sep-2010 19:05  5.6M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb    25-Aug-2011 05:04  5.6M  
[   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb     25-Aug-2011 05:05  5.4M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb          03-Apr-2012 11:34  5.6M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb           03-Apr-2012 11:04  5.5M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_amd64.deb    16-May-2012 03:03  5.6M  
[   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_i386.deb     16-May-2012 03:03  5.4M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb        25-Aug-2011 05:04  1.9M  
[   ] libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb         25-Aug-2011 05:05  1.7M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb              03-Apr-2012 11:34  1.9M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb               03-Apr-2012 11:04  1.7M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1build1_amd64.deb        16-May-2012 03:03  1.9M  
[   ] libcoq-ocaml_8.3.pl4+dfsg-1build1_i386.deb         16-May-2012 03:03  1.7M
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 233.84 Mbit/s | OSUOSL © 2012