../ | | - | Directory |
agda-stdlib-doc_0.3-1ubuntu2_all.deb | 2010-Feb-16 14:04:46 | 1.1M | application/vnd.debian.binary-package |
agda-stdlib-doc_0.5-1_all.deb | 2011-Jun-17 19:05:40 | 1.5M | application/vnd.debian.binary-package |
agda-stdlib-doc_0.6-2_all.deb | 2012-Mar-18 23:03:43 | 1.6M | application/vnd.debian.binary-package |
agda-stdlib-doc_0.7-1_all.deb | 2013-Apr-10 22:03:22 | 1.6M | application/vnd.debian.binary-package |
agda-stdlib-doc_0.7-2_all.deb | 2013-May-28 01:33:48 | 1.6M | application/vnd.debian.binary-package |
agda-stdlib_0.3-1ubuntu2.diff.gz | 2010-Feb-16 14:04:44 | 3.6K | application/gzip |
agda-stdlib_0.3-1ubuntu2.dsc | 2010-Feb-16 14:04:44 | 1.2K | application/octet-stream |
agda-stdlib_0.3-1ubuntu2_amd64.deb | 2010-Feb-16 15:10:59 | 11.5M | application/vnd.debian.binary-package |
agda-stdlib_0.3-1ubuntu2_i386.deb | 2010-Feb-16 14:04:58 | 11.5M | application/vnd.debian.binary-package |
agda-stdlib_0.3.orig.tar.gz | 2010-Feb-13 17:04:43 | 149.7K | application/gzip |
agda-stdlib_0.5-1.diff.gz | 2011-Jun-17 19:05:32 | 3.5K | application/gzip |
agda-stdlib_0.5-1.dsc | 2011-Jun-17 19:05:32 | 1.8K | application/octet-stream |
agda-stdlib_0.5-1_all.deb | 2011-Jun-17 19:05:40 | 15.3M | application/vnd.debian.binary-package |
agda-stdlib_0.5.orig.tar.gz | 2011-Mar-01 02:04:47 | 193.4K | application/gzip |
agda-stdlib_0.6-2.debian.tar.gz | 2012-Mar-18 22:33:45 | 4.1K | application/gzip |
agda-stdlib_0.6-2.dsc | 2012-Mar-18 22:33:45 | 1.4K | application/octet-stream |
agda-stdlib_0.6-2_all.deb | 2012-Mar-18 23:03:45 | 16.1M | application/vnd.debian.binary-package |
agda-stdlib_0.6.orig.tar.gz | 2012-Jan-04 02:04:51 | 211.2K | application/gzip |
agda-stdlib_0.7-1.debian.tar.gz | 2013-Apr-10 20:03:22 | 4.3K | application/gzip |
agda-stdlib_0.7-1.dsc | 2013-Apr-10 20:03:22 | 2.0K | application/octet-stream |
agda-stdlib_0.7-1_all.deb | 2013-Apr-10 22:03:22 | 17.3M | application/vnd.debian.binary-package |
agda-stdlib_0.7-2.debian.tar.gz | 2013-May-28 01:33:44 | 4.3K | application/gzip |
agda-stdlib_0.7-2.dsc | 2013-May-28 01:33:44 | 2.0K | application/octet-stream |
agda-stdlib_0.7-2_all.deb | 2013-May-28 01:33:50 | 17.3M | application/vnd.debian.binary-package |
agda-stdlib_0.7.orig.tar.gz | 2013-Apr-10 20:03:22 | 221.0K | application/gzip |