Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/a/agda-stdlib/

Filename Modification time Size
agda-stdlib-doc_0.17-1_all.deb 1361 KiB
agda-stdlib-doc_1.3-2_all.deb 2403 KiB
agda-stdlib-doc_1.7.1-1_all.deb 2968 KiB
agda-stdlib-doc_2.1-3_all.deb 3624 KiB
agda-stdlib_0.17-1.debian.tar.xz 5312 B
agda-stdlib_0.17-1.dsc 2234 B
agda-stdlib_0.17-1_all.deb 31 MiB
agda-stdlib_0.17.orig.tar.gz 388 KiB
agda-stdlib_1.3-2.debian.tar.xz 5640 B
agda-stdlib_1.3-2.dsc 2113 B
agda-stdlib_1.3-2_all.deb 70 MiB
agda-stdlib_1.3.orig.tar.gz 734 KiB
agda-stdlib_1.7.1-1.debian.tar.xz 5664 B
agda-stdlib_1.7.1-1.dsc 2157 B
agda-stdlib_1.7.1-1_all.deb 95 MiB
agda-stdlib_1.7.1.orig.tar.gz 918 KiB
agda-stdlib_2.1-3.debian.tar.xz 6020 B
agda-stdlib_2.1-3.dsc 2224 B
agda-stdlib_2.1-3_all.deb 133 MiB
agda-stdlib_2.1.orig.tar.gz 1183 KiB