Index of /mirror/mirror/mirror/deepin/pool/main/a/agda-stdlib/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-stdlib-doc_0.17-1_all.deb2022-Apr-11 11:04:251.3Mapplication/vnd.debian.binary-package
agda-stdlib_0.17-1.debian.tar.xz2022-Apr-11 11:26:085.1Kapplication/x-xz
agda-stdlib_0.17-1.dsc2022-Apr-11 11:26:082.1Kapplication/octet-stream
agda-stdlib_0.17-1_all.deb2022-Apr-11 11:08:1431.5Mapplication/vnd.debian.binary-package
agda-stdlib_0.17.orig.tar.gz2022-Apr-11 11:26:08388.0Kapplication/gzip
lighttpd/1.4.35