Studenten Net Twente Mirror service

Index of /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_1.7.3-1_all.deb 2969 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_1.7.3-1.debian.tar.xz 5732 B
agda-stdlib_1.7.3-1.dsc 2157 B
agda-stdlib_1.7.3-1_all.deb 112 MiB
agda-stdlib_1.7.3.orig.tar.gz 920 KiB