Index of /parrot/pool/main/c/coq
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
coq_8.12.0.orig.tar.gz 2020-08-22 10:26 5.7M
![[ ]](/icons/unknown.gif)
coq_8.12.0-3.debian.tar.xz 2020-09-10 07:38 37K
![[TXT]](/icons/text.gif)
coq_8.12.0-3.dsc 2020-09-10 07:38 2.4K
coq-theories_8.12.0-3+b3_i386.deb 2020-11-25 07:18 34M
coqide_8.12.0-3+b3_i386.deb 2020-11-25 07:18 1.6M
coq_8.12.0-3+b3_i386.deb 2020-11-25 07:18 84M
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 2020-11-25 07:18 18M
libcoq-ocaml_8.12.0-3+b3_i386.deb 2020-11-25 07:18 7.2M
coq-theories_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 35M
coqide_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 1.8M
coq_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 86M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 18M
libcoq-ocaml_8.12.0-3+b3_amd64.deb 2020-11-25 07:28 7.4M
coq-theories_8.12.0-3+b3_armhf.deb 2020-11-25 07:43 23M
coqide_8.12.0-3+b3_armhf.deb 2020-11-25 07:43 1.7M
coq_8.12.0-3+b3_armhf.deb 2020-11-25 07:43 84M
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 2020-11-25 07:43 18M
libcoq-ocaml_8.12.0-3+b3_armhf.deb 2020-11-25 07:43 7.4M
coq-theories_8.12.0-3+b3_arm64.deb 2020-11-25 07:58 23M
coqide_8.12.0-3+b3_arm64.deb 2020-11-25 07:58 2.1M
coq_8.12.0-3+b3_arm64.deb 2020-11-25 07:58 92M
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 2020-11-25 07:58 18M
libcoq-ocaml_8.12.0-3+b3_arm64.deb 2020-11-25 07:58 7.6M