Index of /parrot/pool/main/c/coq

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] coq-theories_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 35M [   ] coq-theories_8.12.0-3+b3_i386.deb 2020-11-25 07:18 34M [   ] coqide_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 1.8M [   ] coqide_8.12.0-3+b3_i386.deb 2020-11-25 07:18 1.6M [   ] coq_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 86M [   ] coq_8.12.0-3+b3_i386.deb 2020-11-25 07:18 84M [   ] coq_8.12.0-3.debian.tar.xz 2020-09-10 07:38 37K [   ] coq_8.12.0-3.dsc 2020-09-10 07:38 2.4K [   ] coq_8.12.0.orig.tar.gz 2020-08-22 10:26 5.7M [   ] libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 18M [   ] libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 2020-11-25 07:18 18M [   ] libcoq-ocaml_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 7.4M [   ] libcoq-ocaml_8.12.0-3+b3_i386.deb 2020-11-25 07:18 7.2M
Universidade do Porto | Helpdesk