Index of /deepin/pool/main/c/coq
Name Last modified Size Description
Parent Directory -
libcoq-ocaml_8.9.0-1_i386.deb 2022-04-11 05:25 4.9M
libcoq-ocaml_8.9.0-1_amd64.deb 2022-04-11 05:28 5.2M
libcoq-ocaml-dev_8.9.0-1_i386.deb 2022-04-11 04:58 13M
libcoq-ocaml-dev_8.9.0-1_amd64.deb 2022-04-11 05:05 13M
coq_8.9.0.orig.tar.gz 2022-04-11 05:21 5.1M
coq_8.9.0-1_i386.deb 2022-04-11 05:46 54M
coq_8.9.0-1_amd64.deb 2022-04-11 05:02 56M
coq_8.9.0-1.dsc 2022-04-11 05:21 2.4K
coq_8.9.0-1.debian.tar.xz 2022-04-11 05:21 27K
coq-theories_8.9.0-1_i386.deb 2022-04-11 05:36 27M
coq-theories_8.9.0-1_amd64.deb 2022-04-11 05:16 28M
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443