Index of /pub/parrot/pool/main/a/agda-stdlib

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] agda-stdlib-doc_1.3-2_all.deb 2020-08-01 14:34 2.3M [   ] agda-stdlib_1.3-2.debian.tar.xz 2020-08-01 13:54 5.5K [TXT] agda-stdlib_1.3-2.dsc 2020-08-01 13:54 2.1K [   ] agda-stdlib_1.3-2_all.deb 2020-08-01 14:34 70M [   ] agda-stdlib_1.3.orig.tar.gz 2020-07-31 12:50 734K
Universidade do Porto | Helpdesk