Index of /ubuntu/pool/universe/a/agda
Name Last modified Size Description
Parent Directory -
agda-mode_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 04:05 39K
agda-mode_2.2.10-3build1_all.deb 10-Jul-2011 07:06 39K
agda-mode_2.2.6-3_all.deb 05-Mar-2010 00:05 38K
agda-mode_2.2.6-7build1_all.deb 26-May-2010 18:04 39K
agda-mode_2.3.0.1-1build2_all.deb 22-Apr-2012 02:03 40K
agda_2.2.10-1~ubuntu1.debian.tar.gz 25-Feb-2011 04:05 8.2K
agda_2.2.10-1~ubuntu1.dsc 25-Feb-2011 04:05 3.1K
agda_2.2.10-3build1.debian.tar.gz 10-Jul-2011 07:06 7.5K
agda_2.2.10-3build1.dsc 10-Jul-2011 07:06 3.1K
agda_2.2.10-3build1_all.deb 10-Jul-2011 07:06 2.9K
agda_2.2.10.orig.tar.gz 25-Feb-2011 04:05 506K
agda_2.2.6-3.diff.gz 05-Mar-2010 00:05 5.2K
agda_2.2.6-3.dsc 05-Mar-2010 00:05 2.7K
agda_2.2.6-7build1.debian.tar.gz 26-May-2010 18:04 5.2K
agda_2.2.6-7build1.dsc 26-May-2010 18:04 2.3K
agda_2.2.6.orig.tar.gz 03-Feb-2010 07:04 414K
agda_2.3.0.1-1build2.debian.tar.gz 22-Apr-2012 01:33 6.5K
agda_2.3.0.1-1build2.dsc 22-Apr-2012 01:33 3.0K
agda_2.3.0.1-1build2_all.deb 22-Apr-2012 02:03 2.9K
agda_2.3.0.1-2.debian.tar.gz 28-May-2012 05:04 6.7K
agda_2.3.0.1-2.dsc 28-May-2012 05:04 2.3K
agda_2.3.0.1.orig.tar.gz 18-Mar-2012 21:03 598K
haskell-agda-doc_2.2.6-3_all.deb 05-Mar-2010 00:05 1.0M
libghc-agda-dev_2.2.10-3build1_amd64.deb 10-Jul-2011 07:06 10M
libghc-agda-dev_2.2.10-3build1_i386.deb 10-Jul-2011 07:06 9.7M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 22-Apr-2012 02:03 12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb 22-Apr-2012 02:03 12M
libghc-agda-doc_2.2.10-3build1_all.deb 10-Jul-2011 07:06 1.4M
libghc-agda-doc_2.3.0.1-1build2_all.deb 22-Apr-2012 02:03 1.6M
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb 25-Feb-2011 07:05 11M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb 25-Feb-2011 04:06 10M
libghc6-agda-dev_2.2.6-3_amd64.deb 05-Mar-2010 00:05 9.6M
libghc6-agda-dev_2.2.6-3_i386.deb 05-Mar-2010 00:06 9.1M
libghc6-agda-dev_2.2.6-7build1_amd64.deb 26-May-2010 21:05 9.6M
libghc6-agda-dev_2.2.6-7build1_i386.deb 26-May-2010 18:05 9.1M
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb 25-Feb-2011 04:05 1.2M
libghc6-agda-doc_2.2.6-7build1_all.deb 26-May-2010 18:04 1.0M
libghc6-agda-prof_2.2.6-3_amd64.deb 05-Mar-2010 00:05 14M
libghc6-agda-prof_2.2.6-3_i386.deb 05-Mar-2010 00:06 13M