Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] agda-stdlib-doc_0.3-1ubuntu2_all.deb               16-Feb-2010 13:04  1.1M  
[   ] agda-stdlib-doc_0.3-3fakesync_all.deb              26-May-2010 06:05  1.1M  
[   ] agda-stdlib-doc_0.5-1_all.deb                      17-Jun-2011 17:05  1.5M  
[   ] agda-stdlib-doc_0.5-1~ubuntu1_all.deb              01-Mar-2011 01:04  1.5M  
[   ] agda-stdlib-doc_0.6-2_all.deb                      18-Mar-2012 22:03  1.6M  
[   ] agda-stdlib_0.3-1ubuntu2.diff.gz                   16-Feb-2010 13:04  3.6K  
[TXT] agda-stdlib_0.3-1ubuntu2.dsc                       16-Feb-2010 13:04  1.3K  
[   ] agda-stdlib_0.3-1ubuntu2_amd64.deb                 16-Feb-2010 14:10   11M  
[   ] agda-stdlib_0.3-1ubuntu2_i386.deb                  16-Feb-2010 13:04   11M  
[   ] agda-stdlib_0.3-3fakesync.diff.gz                  25-May-2010 22:04  3.7K  
[TXT] agda-stdlib_0.3-3fakesync.dsc                      25-May-2010 22:04  1.3K  
[   ] agda-stdlib_0.3-3fakesync_amd64.deb                29-May-2010 18:04   11M  
[   ] agda-stdlib_0.3-3fakesync_i386.deb                 26-May-2010 06:05   11M  
[   ] agda-stdlib_0.3.orig.tar.gz                        13-Feb-2010 16:04  150K  
[   ] agda-stdlib_0.5-1.diff.gz                          17-Jun-2011 17:05  3.6K  
[TXT] agda-stdlib_0.5-1.dsc                              17-Jun-2011 17:05  1.9K  
[   ] agda-stdlib_0.5-1_all.deb                          17-Jun-2011 17:05   15M  
[   ] agda-stdlib_0.5-1~ubuntu1.diff.gz                  01-Mar-2011 01:04  3.7K  
[TXT] agda-stdlib_0.5-1~ubuntu1.dsc                      01-Mar-2011 01:04  1.9K  
[   ] agda-stdlib_0.5-1~ubuntu1_all.deb                  01-Mar-2011 01:04   15M  
[   ] agda-stdlib_0.5.orig.tar.gz                        01-Mar-2011 01:04  193K  
[   ] agda-stdlib_0.6-2.debian.tar.gz                    18-Mar-2012 21:33  4.1K  
[TXT] agda-stdlib_0.6-2.dsc                              18-Mar-2012 21:33  1.4K  
[   ] agda-stdlib_0.6-2_all.deb                          18-Mar-2012 22:03   16M  
[   ] agda-stdlib_0.6.orig.tar.gz                        04-Jan-2012 01:04  211K
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 120.86 Mbit/s | OSUOSL © 2012