Name Last modified Size Description
Parent Directory -
agda-stdlib-doc_0.3-1ubuntu2_all.deb 16-Feb-2010 13:04 1.1M
agda-stdlib-doc_0.3-3fakesync_all.deb 26-May-2010 06:05 1.1M
agda-stdlib-doc_0.5-1_all.deb 17-Jun-2011 17:05 1.5M
agda-stdlib-doc_0.5-1~ubuntu1_all.deb 01-Mar-2011 01:04 1.5M
agda-stdlib-doc_0.6-2_all.deb 18-Mar-2012 22:03 1.6M
agda-stdlib_0.3-1ubuntu2.diff.gz 16-Feb-2010 13:04 3.6K
agda-stdlib_0.3-1ubuntu2.dsc 16-Feb-2010 13:04 1.3K
agda-stdlib_0.3-1ubuntu2_amd64.deb 16-Feb-2010 14:10 11M
agda-stdlib_0.3-1ubuntu2_i386.deb 16-Feb-2010 13:04 11M
agda-stdlib_0.3-3fakesync.diff.gz 25-May-2010 22:04 3.7K
agda-stdlib_0.3-3fakesync.dsc 25-May-2010 22:04 1.3K
agda-stdlib_0.3-3fakesync_amd64.deb 29-May-2010 18:04 11M
agda-stdlib_0.3-3fakesync_i386.deb 26-May-2010 06:05 11M
agda-stdlib_0.3.orig.tar.gz 13-Feb-2010 16:04 150K
agda-stdlib_0.5-1.diff.gz 17-Jun-2011 17:05 3.6K
agda-stdlib_0.5-1.dsc 17-Jun-2011 17:05 1.9K
agda-stdlib_0.5-1_all.deb 17-Jun-2011 17:05 15M
agda-stdlib_0.5-1~ubuntu1.diff.gz 01-Mar-2011 01:04 3.7K
agda-stdlib_0.5-1~ubuntu1.dsc 01-Mar-2011 01:04 1.9K
agda-stdlib_0.5-1~ubuntu1_all.deb 01-Mar-2011 01:04 15M
agda-stdlib_0.5.orig.tar.gz 01-Mar-2011 01:04 193K
agda-stdlib_0.6-2.debian.tar.gz 18-Mar-2012 21:33 4.1K
agda-stdlib_0.6-2.dsc 18-Mar-2012 21:33 1.4K
agda-stdlib_0.6-2_all.deb 18-Mar-2012 22:03 16M
agda-stdlib_0.6.orig.tar.gz 04-Jan-2012 01:04 211K



