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

NameLast ModifiedSizeType
../ -  Directory
agda-stdlib-doc_0.11-1_all.deb2016-Jan-05 03:20:131.2Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.14-1_all.deb2017-Nov-26 20:04:451.0Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.17-1_all.deb2018-Dec-14 13:53:231.3Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.6-2_all.deb2012-Mar-19 00:03:431.6Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.7-2_all.deb2013-May-28 02:33:481.6Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.1-1_all.deb2019-Sep-06 18:48:271.8Mapplication/vnd.debian.binary-package
agda-stdlib_0.11-1.debian.tar.xz2016-Jan-05 01:25:054.5Kapplication/x-xz
agda-stdlib_0.11-1.dsc2016-Jan-05 01:25:052.0Kapplication/octet-stream
agda-stdlib_0.11-1_all.deb2016-Jan-05 03:20:1216.7Mapplication/vnd.debian.binary-package
agda-stdlib_0.11.orig.tar.gz2016-Jan-05 01:25:05247.3Kapplication/gzip
agda-stdlib_0.14-1.debian.tar.xz2017-Nov-26 19:08:385.0Kapplication/x-xz
agda-stdlib_0.14-1.dsc2017-Nov-26 19:08:382.0Kapplication/octet-stream
agda-stdlib_0.14-1_all.deb2017-Nov-26 20:04:4617.3Mapplication/vnd.debian.binary-package
agda-stdlib_0.14.orig.tar.gz2017-Nov-26 13:14:14278.7Kapplication/gzip
agda-stdlib_0.17-1.debian.tar.xz2018-Nov-24 07:23:335.1Kapplication/x-xz
agda-stdlib_0.17-1.dsc2018-Nov-24 07:23:332.1Kapplication/octet-stream
agda-stdlib_0.17-1_all.deb2018-Dec-14 13:53:2331.4Mapplication/vnd.debian.binary-package
agda-stdlib_0.17.orig.tar.gz2018-Nov-24 07:23:33388.0Kapplication/gzip
agda-stdlib_0.6-2.debian.tar.gz2012-Mar-18 23:33:454.1Kapplication/gzip
agda-stdlib_0.6-2.dsc2012-Mar-18 23:33:451.4Kapplication/octet-stream
agda-stdlib_0.6-2_all.deb2012-Mar-19 00:03:4516.1Mapplication/vnd.debian.binary-package
agda-stdlib_0.6.orig.tar.gz2012-Jan-04 03:04:51211.2Kapplication/gzip
agda-stdlib_0.7-2.debian.tar.gz2013-May-28 02:33:444.3Kapplication/gzip
agda-stdlib_0.7-2.dsc2013-May-28 02:33:442.0Kapplication/octet-stream
agda-stdlib_0.7-2_all.deb2013-May-28 02:33:5017.3Mapplication/vnd.debian.binary-package
agda-stdlib_0.7.orig.tar.gz2013-Apr-10 21:03:22221.0Kapplication/gzip
agda-stdlib_1.1-1.debian.tar.xz2019-Sep-06 18:48:225.4Kapplication/x-xz
agda-stdlib_1.1-1.dsc2019-Sep-06 18:48:222.0Kapplication/octet-stream
agda-stdlib_1.1-1_all.deb2019-Sep-06 18:48:2745.1Mapplication/vnd.debian.binary-package
agda-stdlib_1.1.orig.tar.gz2019-Sep-04 16:38:22556.7Kapplication/gzip
lighttpd/1.4.45