Oregon State University
Open Source Lab
Mirrors
 
Icon  Name                                               Last modified      Size  Description
[DIR] Parent Directory                                                        -   
[   ] agda-mode_2.2.6-3_all.deb                          04-Mar-2010 15:05   38K  
[   ] agda-mode_2.2.6-7build1_all.deb                    26-May-2010 09:04   39K  
[   ] agda-mode_2.2.10-1~ubuntu1_all.deb                 24-Feb-2011 19:05   39K  
[   ] agda-mode_2.2.10-3build1_all.deb                   09-Jul-2011 22:06   39K  
[   ] agda-mode_2.3.0.1-1build2_all.deb                  21-Apr-2012 17:03   40K  
[   ] agda_2.2.6-3.diff.gz                               04-Mar-2010 15:05  5.2K  
[TXT] agda_2.2.6-3.dsc                                   04-Mar-2010 15:05  2.7K  
[   ] agda_2.2.6-7build1.debian.tar.gz                   26-May-2010 09:04  5.2K  
[TXT] agda_2.2.6-7build1.dsc                             26-May-2010 09:04  2.3K  
[   ] agda_2.2.6.orig.tar.gz                             02-Feb-2010 22:04  414K  
[   ] agda_2.2.10-1~ubuntu1.debian.tar.gz                24-Feb-2011 19:05  8.2K  
[TXT] agda_2.2.10-1~ubuntu1.dsc                          24-Feb-2011 19:05  3.1K  
[   ] agda_2.2.10-3build1.debian.tar.gz                  09-Jul-2011 22:06  7.5K  
[TXT] agda_2.2.10-3build1.dsc                            09-Jul-2011 22:06  3.1K  
[   ] agda_2.2.10-3build1_all.deb                        09-Jul-2011 22:06  2.9K  
[   ] agda_2.2.10.orig.tar.gz                            24-Feb-2011 19:05  506K  
[   ] agda_2.3.0.1-1build2.debian.tar.gz                 21-Apr-2012 16:33  6.5K  
[TXT] agda_2.3.0.1-1build2.dsc                           21-Apr-2012 16:33  3.0K  
[   ] agda_2.3.0.1-1build2_all.deb                       21-Apr-2012 17:03  2.9K  
[   ] agda_2.3.0.1-2.debian.tar.gz                       27-May-2012 20:04  6.7K  
[TXT] agda_2.3.0.1-2.dsc                                 27-May-2012 20:04  2.3K  
[   ] agda_2.3.0.1.orig.tar.gz                           18-Mar-2012 12:03  598K  
[   ] haskell-agda-doc_2.2.6-3_all.deb                   04-Mar-2010 15:05  1.0M  
[   ] libghc-agda-dev_2.2.10-3build1_amd64.deb           09-Jul-2011 22:06   10M  
[   ] libghc-agda-dev_2.2.10-3build1_i386.deb            09-Jul-2011 22:06  9.7M  
[   ] libghc-agda-dev_2.3.0.1-1build2_amd64.deb          21-Apr-2012 17:03   12M  
[   ] libghc-agda-dev_2.3.0.1-1build2_i386.deb           21-Apr-2012 17:03   12M  
[   ] libghc-agda-doc_2.2.10-3build1_all.deb             09-Jul-2011 22:06  1.4M  
[   ] libghc-agda-doc_2.3.0.1-1build2_all.deb            21-Apr-2012 17:03  1.6M  
[   ] libghc6-agda-dev_2.2.6-3_amd64.deb                 04-Mar-2010 15:05  9.6M  
[   ] libghc6-agda-dev_2.2.6-3_i386.deb                  04-Mar-2010 15:06  9.1M  
[   ] libghc6-agda-dev_2.2.6-7build1_amd64.deb           26-May-2010 12:05  9.6M  
[   ] libghc6-agda-dev_2.2.6-7build1_i386.deb            26-May-2010 09:05  9.1M  
[   ] libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb        24-Feb-2011 22:05   11M  
[   ] libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb         24-Feb-2011 19:06   10M  
[   ] libghc6-agda-doc_2.2.6-7build1_all.deb             26-May-2010 09:04  1.0M  
[   ] libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb          24-Feb-2011 19:05  1.2M  
[   ] libghc6-agda-prof_2.2.6-3_amd64.deb                04-Mar-2010 15:05   14M  
[   ] libghc6-agda-prof_2.2.6-3_i386.deb                 04-Mar-2010 15:06   13M
Powered by:
   		        

Your donation powers our service to the FOSS community.

Current bandwidth utilization 120.86 Mbit/s | OSUOSL © 2012