Index of /pub/linux/deepin/pool/main/c/coq/

Filename	Modification time	Size
coq-theories_8.9.0-1_amd64.deb	2022-04-11 05:16 CEST	28 MiB
coq-theories_8.9.0-1_i386.deb	2022-04-11 05:36 CEST	27 MiB
coq_8.9.0-1.debian.tar.xz	2022-04-11 05:21 CEST	27 KiB
coq_8.9.0-1.dsc	2022-04-11 05:21 CEST	2417 B
coq_8.9.0-1_amd64.deb	2022-04-11 05:02 CEST	56 MiB
coq_8.9.0-1_i386.deb	2022-04-11 05:46 CEST	54 MiB
coq_8.9.0.orig.tar.gz	2022-04-11 05:21 CEST	5269 KiB
libcoq-ocaml-dev_8.9.0-1_amd64.deb	2022-04-11 05:05 CEST	13 MiB
libcoq-ocaml-dev_8.9.0-1_i386.deb	2022-04-11 04:58 CEST	13 MiB
libcoq-ocaml_8.9.0-1_amd64.deb	2022-04-11 05:28 CEST	5335 KiB
libcoq-ocaml_8.9.0-1_i386.deb	2022-04-11 05:25 CEST	5065 KiB