![]() |
Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/deepin/apricot/pool/main/a/agda-stdlib/ |
|
Name Last modified Size
Parent Directory -
agda-stdlib-doc_0.17-1_all.deb 11-Apr-2022 05:04 1.3M
agda-stdlib_0.17-1.debian.tar.xz 11-Apr-2022 05:26 5.2K
agda-stdlib_0.17-1.dsc 11-Apr-2022 05:26 2.2K
agda-stdlib_0.17-1_all.deb 11-Apr-2022 05:08 31M
agda-stdlib_0.17.orig.tar.gz 11-Apr-2022 05:26 388K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!