Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] agda-bin_2.2.6-1build1.diff.gz                     03-Feb-2010 15:04  2.4K  
[TXT] agda-bin_2.2.6-1build1.dsc                         03-Feb-2010 15:04  1.3K  
[   ] agda-bin_2.2.6-1build1_amd64.deb                   03-Feb-2010 15:04  2.7M  
[   ] agda-bin_2.2.6-1build1_i386.deb                    03-Feb-2010 15:04  2.6M  
[   ] agda-bin_2.2.6.orig.tar.gz                         22-Jan-2010 11:08  1.6K  
[   ] agda-bin_2.2.10-1~ubuntu1.diff.gz                  27-Feb-2011 20:04  2.8K  
[TXT] agda-bin_2.2.10-1~ubuntu1.dsc                      27-Feb-2011 20:04  2.0K  
[   ] agda-bin_2.2.10-1~ubuntu1_amd64.deb                27-Feb-2011 20:05  3.9M  
[   ] agda-bin_2.2.10-1~ubuntu1_i386.deb                 27-Feb-2011 20:05  3.7M  
[   ] agda-bin_2.2.10-2.diff.gz                          10-Jun-2011 11:05  2.8K  
[TXT] agda-bin_2.2.10-2.dsc                              10-Jun-2011 11:05  1.9K  
[   ] agda-bin_2.2.10-2_amd64.deb                        10-Jun-2011 11:05  4.0M  
[   ] agda-bin_2.2.10-2_i386.deb                         10-Jun-2011 11:05  3.8M  
[   ] agda-bin_2.2.10.orig.tar.gz                        27-Feb-2011 20:04  1.7K  
[   ] agda-bin_2.3.0.1-1.diff.gz                         18-Mar-2012 21:33  2.9K  
[TXT] agda-bin_2.3.0.1-1.dsc                             18-Mar-2012 21:33  1.3K  
[   ] agda-bin_2.3.0.1-1_amd64.deb                       18-Mar-2012 22:33  4.7M  
[   ] agda-bin_2.3.0.1-1_i386.deb                        18-Mar-2012 21:33  4.4M  
[   ] agda-bin_2.3.0.1.orig.tar.gz                       18-Mar-2012 21:33  1.7K
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 120.86 Mbit/s | OSUOSL © 2012