Name Last modified Size Description
Parent Directory - agda-stdlib_1.7.3-1_all.deb 2023-11-04 21:59 112M agda-stdlib-doc_1.7.3-1_all.deb 2023-11-04 21:59 2.9M agda-stdlib_1.7.3.orig.tar.gz 2023-11-04 21:33 920K 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