Index of /ubuntu/pool/universe/a/agda-stdlib/

Name Last Modified Size Type
Parent Directory  Directory
agda-stdlib-doc_0.11-1_all.deb2016-Jan-04 20:20:131.2M application/octet-stream
agda-stdlib-doc_0.12-2_all.deb2016-Jun-24 01:34:441.2M application/octet-stream
agda-stdlib-doc_0.6-2_all.deb2012-Mar-18 18:03:431.6M application/octet-stream
agda-stdlib-doc_0.7-2_all.deb2013-May-27 19:33:481.7M application/octet-stream
agda-stdlib-doc_0.8-2_all.deb2014-Aug-12 13:08:421.2M application/octet-stream
agda-stdlib-doc_0.9-1_all.deb2015-Jun-05 12:09:001.2M application/octet-stream
agda-stdlib_0.11-1.debian.tar.xz2016-Jan-04 18:25:054.5K application/octet-stream
agda-stdlib_0.11-1.dsc2016-Jan-04 18:25:052.1K application/octet-stream
agda-stdlib_0.11-1_all.deb2016-Jan-04 20:20:1216.7M application/octet-stream
agda-stdlib_0.11.orig.tar.gz2016-Jan-04 18:25:05247.3K application/x-gzip
agda-stdlib_0.12-2.debian.tar.xz2016-Jun-24 01:34:284.9K application/octet-stream
agda-stdlib_0.12-2.dsc2016-Jun-24 01:34:282.1K application/octet-stream
agda-stdlib_0.12-2_all.deb2016-Jun-24 01:34:4516.3M application/octet-stream
agda-stdlib_0.12.orig.tar.gz2016-Jun-20 19:40:55248.1K application/x-gzip
agda-stdlib_0.6-2.debian.tar.gz2012-Mar-18 17:33:454.1K application/x-gzip
agda-stdlib_0.6-2.dsc2012-Mar-18 17:33:451.4K application/octet-stream
agda-stdlib_0.6-2_all.deb2012-Mar-18 18:03:4516.2M application/octet-stream
agda-stdlib_0.6.orig.tar.gz2012-Jan-03 20:04:51211.2K application/x-gzip
agda-stdlib_0.7-2.debian.tar.gz2013-May-27 19:33:444.4K application/x-gzip
agda-stdlib_0.7-2.dsc2013-May-27 19:33:442K application/octet-stream
agda-stdlib_0.7-2_all.deb2013-May-27 19:33:5017.3M application/octet-stream
agda-stdlib_0.7.orig.tar.gz2013-Apr-10 14:03:22221.1K application/x-gzip
agda-stdlib_0.8-2.debian.tar.xz2014-Aug-12 12:38:344.4K application/octet-stream
agda-stdlib_0.8-2.dsc2014-Aug-12 12:38:342K application/octet-stream
agda-stdlib_0.8-2_all.deb2014-Aug-12 13:08:4222.4M application/octet-stream
agda-stdlib_0.8.orig.tar.gz2014-Aug-05 13:34:18240.4K application/x-gzip
agda-stdlib_0.9-1.debian.tar.xz2015-May-20 13:08:304.5K application/octet-stream
agda-stdlib_0.9-1.dsc2015-May-20 13:08:302K application/octet-stream
agda-stdlib_0.9-1_all.deb2015-Jun-05 12:09:0010.6M application/octet-stream
agda-stdlib_0.9.orig.tar.gz2015-May-20 13:08:30243.1K application/x-gzip