Index of /ubuntu/pool/universe/a/agda

Icon  Name                                        Last modified      Size  Description
[DIR] Parent Directory - [   ] agda-mode_2.2.6-3_all.deb 04-Mar-2010 23:05 38K [   ] agda-mode_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 03:05 39K [   ] agda-mode_2.2.10-3build1_all.deb 10-Jul-2011 06:06 39K [   ] agda-mode_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 40K [   ] agda-mode_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 44K [   ] agda_2.2.6-3.diff.gz 04-Mar-2010 23:05 5.2K [TXT] agda_2.2.6-3.dsc 04-Mar-2010 23:05 2.7K [   ] agda_2.2.6.orig.tar.gz 03-Feb-2010 06:04 414K [   ] agda_2.2.10-1~ubuntu1.debian.tar.gz 25-Feb-2011 03:05 8.2K [TXT] agda_2.2.10-1~ubuntu1.dsc 25-Feb-2011 03:05 3.1K [   ] agda_2.2.10-3build1.debian.tar.gz 10-Jul-2011 06:06 7.5K [TXT] agda_2.2.10-3build1.dsc 10-Jul-2011 06:06 3.1K [   ] agda_2.2.10-3build1_all.deb 10-Jul-2011 06:06 2.9K [   ] agda_2.2.10.orig.tar.gz 25-Feb-2011 03:05 506K [   ] agda_2.3.0.1-1build2.debian.tar.gz 22-Apr-2012 00:33 6.5K [TXT] agda_2.3.0.1-1build2.dsc 22-Apr-2012 00:33 3.0K [   ] agda_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 2.9K [   ] agda_2.3.0.1-2build1.debian.tar.gz 27-Aug-2012 20:33 6.8K [TXT] agda_2.3.0.1-2build1.dsc 27-Aug-2012 20:33 3.0K [   ] agda_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 2.9K [   ] agda_2.3.0.1.orig.tar.gz 18-Mar-2012 20:03 598K [   ] haskell-agda-doc_2.2.6-3_all.deb 04-Mar-2010 23:05 1.0M [   ] libghc-agda-dev_2.2.10-3build1_amd64.deb 10-Jul-2011 06:06 10M [   ] libghc-agda-dev_2.2.10-3build1_i386.deb 10-Jul-2011 06:06 9.7M [   ] libghc-agda-dev_2.3.0.1-1build2_amd64.deb 22-Apr-2012 01:03 12M [   ] libghc-agda-dev_2.3.0.1-1build2_i386.deb 22-Apr-2012 01:03 12M [   ] libghc-agda-dev_2.3.0.1-2build1_amd64.deb 27-Aug-2012 21:03 13M [   ] libghc-agda-dev_2.3.0.1-2build1_i386.deb 27-Aug-2012 20:33 12M [   ] libghc-agda-doc_2.2.10-3build1_all.deb 10-Jul-2011 06:06 1.4M [   ] libghc-agda-doc_2.3.0.1-1build2_all.deb 22-Apr-2012 01:03 1.6M [   ] libghc-agda-doc_2.3.0.1-2build1_all.deb 27-Aug-2012 20:33 1.7M [   ] libghc6-agda-dev_2.2.6-3_amd64.deb 04-Mar-2010 23:05 9.6M [   ] libghc6-agda-dev_2.2.6-3_i386.deb 04-Mar-2010 23:06 9.1M [   ] libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb 25-Feb-2011 06:05 11M [   ] libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb 25-Feb-2011 03:06 10M [   ] libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 03:05 1.2M [   ] libghc6-agda-prof_2.2.6-3_amd64.deb 04-Mar-2010 23:05 14M [   ] libghc6-agda-prof_2.2.6-3_i386.deb 04-Mar-2010 23:06 13M
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80