Name Last modified Size Description
Parent Directory -
agda-stdlib_1.7.3.orig.tar.gz 2023-11-04 21:33 920K
agda-stdlib_1.7.3-1_all.deb 2023-11-04 21:59 112M
agda-stdlib_1.7.3-1.dsc 2023-11-04 21:33 2.1K
agda-stdlib_1.7.3-1.debian.tar.xz 2023-11-04 21:33 5.6K
agda-stdlib-doc_1.7.3-1_all.deb 2023-11-04 21:59 2.9M