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