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