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

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] agda-bin_2.6.1-1+b2_amd64.deb 2020-08-19 20:59 8.5M [   ] agda-bin_2.6.1-1+b2_arm64.deb 2020-08-19 22:57 9.9M [   ] agda-bin_2.6.1-1+b2_i386.deb 2020-08-19 23:58 8.6M [   ] agda_2.6.1-1.debian.tar.xz 2020-07-29 16:40 9.8K [TXT] agda_2.6.1-1.dsc 2020-07-29 16:40 4.1K [   ] agda_2.6.1-1_all.deb 2020-07-29 17:40 28K [   ] agda_2.6.1.orig.tar.gz 2020-07-29 16:40 2.5M [   ] elpa-agda2-mode_2.6.1-1_all.deb 2020-07-29 17:40 65K [   ] libghc-agda-dev_2.6.1-1+b2_amd64.deb 2020-08-19 20:59 36M [   ] libghc-agda-dev_2.6.1-1+b2_arm64.deb 2020-08-19 22:57 43M [   ] libghc-agda-dev_2.6.1-1+b2_i386.deb 2020-08-19 23:58 36M [   ] libghc-agda-doc_2.6.1-1_all.deb 2020-07-29 17:40 5.5M
Universidade do Porto | Helpdesk