Index of /kali/pool/main/a/agda-stdlib
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
agda-stdlib_2.1-4_all.deb 2024-11-26 03:39 137M
agda-stdlib-doc_2.1-4_all.deb 2024-11-26 03:39 3.6M
![[TXT]](/icons/text.gif)
agda-stdlib_2.1-4.dsc 2024-11-26 03:03 2.2K
agda-stdlib_2.1-4.debian.tar.xz 2024-11-26 03:03 5.9K
agda-stdlib_2.1-3_all.deb 2024-10-24 19:39 133M
agda-stdlib-doc_2.1-3_all.deb 2024-10-24 19:39 3.5M
agda-stdlib_2.1-3.dsc 2024-10-24 18:58 2.2K
agda-stdlib_2.1-3.debian.tar.xz 2024-10-24 18:58 5.9K
![[ ]](/icons/compressed.gif)
agda-stdlib_2.1.orig.tar.gz 2024-10-19 05:34 1.2M
Apache/2.4.62 (Debian) Server at de.freedif.org Port 443