Index of /pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]agda-mode_2.2.6-3_all.deb04-Mar-2010 10:05 38K
[   ]agda-mode_2.2.6-7build1_all.deb26-May-2010 05:04 39K
[   ]agda-mode_2.2.10-1~ubuntu1_all.deb24-Feb-2011 14:05 39K
[   ]agda-mode_2.2.10-3build1_all.deb09-Jul-2011 18:06 39K
[   ]agda-mode_2.3.0.1-1build2_all.deb21-Apr-2012 13:03 40K
[   ]agda_2.2.6-3.diff.gz04-Mar-2010 10:05 5.2K
[   ]agda_2.2.6-3.dsc04-Mar-2010 10:05 2.7K
[   ]agda_2.2.6-7build1.debian.tar.gz26-May-2010 05:04 5.2K
[   ]agda_2.2.6-7build1.dsc26-May-2010 05:04 2.3K
[   ]agda_2.2.6.orig.tar.gz02-Feb-2010 17:04 414K
[   ]agda_2.2.10-1~ubuntu1.debian.tar.gz24-Feb-2011 14:05 8.2K
[   ]agda_2.2.10-1~ubuntu1.dsc24-Feb-2011 14:05 3.1K
[   ]agda_2.2.10-3build1.debian.tar.gz09-Jul-2011 18:06 7.5K
[   ]agda_2.2.10-3build1.dsc09-Jul-2011 18:06 3.1K
[   ]agda_2.2.10-3build1_all.deb09-Jul-2011 18:06 2.9K
[   ]agda_2.2.10.orig.tar.gz24-Feb-2011 14:05 506K
[   ]agda_2.3.0.1-1build2.debian.tar.gz21-Apr-2012 12:33 6.5K
[   ]agda_2.3.0.1-1build2.dsc21-Apr-2012 12:33 3.0K
[   ]agda_2.3.0.1-1build2_all.deb21-Apr-2012 13:03 2.9K
[   ]agda_2.3.0.1.orig.tar.gz18-Mar-2012 08:03 598K
[   ]haskell-agda-doc_2.2.6-3_all.deb04-Mar-2010 10:05 1.0M
[   ]libghc-agda-dev_2.2.10-3build1_amd64.deb09-Jul-2011 18:06 10M
[   ]libghc-agda-dev_2.2.10-3build1_i386.deb09-Jul-2011 18:06 9.7M
[   ]libghc-agda-dev_2.3.0.1-1build2_amd64.deb21-Apr-2012 13:03 12M
[   ]libghc-agda-dev_2.3.0.1-1build2_i386.deb21-Apr-2012 13:03 12M
[   ]libghc-agda-doc_2.2.10-3build1_all.deb09-Jul-2011 18:06 1.4M
[   ]libghc-agda-doc_2.3.0.1-1build2_all.deb21-Apr-2012 13:03 1.6M
[   ]libghc6-agda-dev_2.2.6-3_amd64.deb04-Mar-2010 10:05 9.6M
[   ]libghc6-agda-dev_2.2.6-3_i386.deb04-Mar-2010 10:06 9.1M
[   ]libghc6-agda-dev_2.2.6-7build1_amd64.deb26-May-2010 08:05 9.6M
[   ]libghc6-agda-dev_2.2.6-7build1_i386.deb26-May-2010 05:05 9.1M
[   ]libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb24-Feb-2011 17:05 11M
[   ]libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb24-Feb-2011 14:06 10M
[   ]libghc6-agda-doc_2.2.6-7build1_all.deb26-May-2010 05:04 1.0M
[   ]libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb24-Feb-2011 14:05 1.2M
[   ]libghc6-agda-prof_2.2.6-3_amd64.deb04-Mar-2010 10:05 14M
[   ]libghc6-agda-prof_2.2.6-3_i386.deb04-Mar-2010 10:06 13M

Apache/2.2.12 (Ubuntu) Server at ubuntu.secs.oakland.edu Port 80