Index of /debian/pool/main/a/agda-stdlib/

NameLast ModifiedSizeType
../ -  Directory
agda-stdlib-doc_0.12-2_all.deb2016-Jun-23 21:55:251.2Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.17-1_all.deb2018-Nov-24 03:48:231.3Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.8-2_all.deb2014-Aug-12 12:40:551.1Mapplication/vnd.debian.binary-package
agda-stdlib_0.12-2.debian.tar.xz2016-Jun-23 20:53:554.9Kapplication/x-xz
agda-stdlib_0.12-2.dsc2016-Jun-23 20:53:552.1Kapplication/octet-stream
agda-stdlib_0.12-2_all.deb2016-Jun-23 21:55:2516.2Mapplication/vnd.debian.binary-package
agda-stdlib_0.12.orig.tar.gz2016-Jun-20 11:47:00248.0Kapplication/x-gtar-compressed
agda-stdlib_0.17-1.debian.tar.xz2018-Nov-24 03:07:355.1Kapplication/x-xz
agda-stdlib_0.17-1.dsc2018-Nov-24 03:07:352.1Kapplication/octet-stream
agda-stdlib_0.17-1_all.deb2018-Nov-24 03:48:2331.5Mapplication/vnd.debian.binary-package
agda-stdlib_0.17.orig.tar.gz2018-Nov-24 03:07:35388.0Kapplication/x-gtar-compressed
agda-stdlib_0.8-2.debian.tar.xz2014-Aug-12 12:40:554.4Kapplication/x-xz
agda-stdlib_0.8-2.dsc2014-Aug-12 12:40:552.0Kapplication/octet-stream
agda-stdlib_0.8-2_all.deb2014-Aug-12 12:40:5522.4Mapplication/vnd.debian.binary-package
agda-stdlib_0.8.orig.tar.gz2014-Aug-05 12:28:30240.3Kapplication/x-gtar-compressed
lighttpd