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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-stdlib-doc_0.12-2_all.deb2016-Jun-23 20:55:251.2Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.17-1_all.deb2018-Nov-24 02:48:231.3Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.8-2_all.deb2014-Aug-12 11:40:551.1Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.1-1_all.deb2019-Sep-13 17:47:351.8Mapplication/vnd.debian.binary-package
agda-stdlib_0.12-2.debian.tar.xz2016-Jun-23 19:53:554.9Kapplication/x-xz
agda-stdlib_0.12-2.dsc2016-Jun-23 19:53:552.1Kapplication/octet-stream
agda-stdlib_0.12-2_all.deb2016-Jun-23 20:55:2516.2Mapplication/vnd.debian.binary-package
agda-stdlib_0.12.orig.tar.gz2016-Jun-20 10:47:00248.0Kapplication/gzip
agda-stdlib_0.17-1.debian.tar.xz2018-Nov-24 02:07:355.1Kapplication/x-xz
agda-stdlib_0.17-1.dsc2018-Nov-24 02:07:352.1Kapplication/octet-stream
agda-stdlib_0.17-1_all.deb2018-Nov-24 02:48:2331.5Mapplication/vnd.debian.binary-package
agda-stdlib_0.17.orig.tar.gz2018-Nov-24 02:07:35388.0Kapplication/gzip
agda-stdlib_0.8-2.debian.tar.xz2014-Aug-12 11:40:554.4Kapplication/x-xz
agda-stdlib_0.8-2.dsc2014-Aug-12 11:40:552.0Kapplication/octet-stream
agda-stdlib_0.8-2_all.deb2014-Aug-12 11:40:5522.4Mapplication/vnd.debian.binary-package
agda-stdlib_0.8.orig.tar.gz2014-Aug-05 11:28:30240.3Kapplication/gzip
agda-stdlib_1.1-1.debian.tar.xz2019-Sep-04 15:26:525.4Kapplication/x-xz
agda-stdlib_1.1-1.dsc2019-Sep-04 15:26:522.0Kapplication/octet-stream
agda-stdlib_1.1-1_all.deb2019-Sep-13 17:47:3545.2Mapplication/vnd.debian.binary-package
agda-stdlib_1.1.orig.tar.gz2019-Sep-04 15:26:52556.7Kapplication/gzip
lighttpd/1.4.35