Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] matita-doc_0.5.8-2build2_all.deb                   16-Apr-2010 17:05  1.2M  
[   ] matita-doc_0.5.8-3_all.deb                         04-Jun-2011 20:04  1.1M  
[   ] matita-doc_0.5.8-3build1_all.deb                   29-Nov-2011 09:04  1.1M  
[   ] matita-standard-library_0.4.98-5_all.deb           12-Dec-2007 23:04   12M  
[   ] matita_0.4.98-5.diff.gz                            12-Dec-2007 10:04  3.9K  
[TXT] matita_0.4.98-5.dsc                                12-Dec-2007 10:04  1.1K  
[   ] matita_0.4.98-5_amd64.deb                          13-Dec-2007 21:03  3.4M  
[   ] matita_0.4.98-5_i386.deb                           12-Dec-2007 23:04  3.1M  
[   ] matita_0.4.98.orig.tar.gz                          26-Nov-2007 10:03  1.8M  
[   ] matita_0.5.8-2build2.diff.gz                       16-Apr-2010 17:05  5.2K  
[TXT] matita_0.5.8-2build2.dsc                           16-Apr-2010 17:05  1.7K  
[   ] matita_0.5.8-2build2_amd64.deb                     16-Apr-2010 22:05  5.8M  
[   ] matita_0.5.8-2build2_i386.deb                      16-Apr-2010 17:05  5.5M  
[   ] matita_0.5.8-3.debian.tar.gz                       04-Jun-2011 20:04  6.4K  
[TXT] matita_0.5.8-3.dsc                                 04-Jun-2011 20:04  1.9K  
[   ] matita_0.5.8-3_amd64.deb                           04-Jun-2011 20:04  5.6M  
[   ] matita_0.5.8-3_i386.deb                            04-Jun-2011 20:04  5.4M  
[   ] matita_0.5.8-3build1.debian.tar.gz                 29-Nov-2011 09:04  6.5K  
[TXT] matita_0.5.8-3build1.dsc                           29-Nov-2011 09:04  2.0K  
[   ] matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 09:04  5.7M  
[   ] matita_0.5.8-3build1_i386.deb                      29-Nov-2011 09:05  5.5M  
[   ] matita_0.5.8.orig.tar.gz                           22-Mar-2010 20:05  5.6M  
[   ] matita_0.99.1-1.debian.tar.gz                      17-May-2012 11:33  4.3K  
[TXT] matita_0.99.1-1.dsc                                17-May-2012 11:33  1.5K  
[   ] matita_0.99.1-1_amd64.deb                          17-May-2012 20:03  3.8M  
[   ] matita_0.99.1-1_i386.deb                           17-May-2012 19:34  3.2M  
[   ] matita_0.99.1.orig.tar.gz                          17-May-2012 11:33  9.9M
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 154.04 Mbit/s | OSUOSL © 2012