Index of /mirror/linuxdeepin/packages/apricot/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	libcoq-ocaml-dev_8.9.0-1_i386.deb	2022-04-11 04:58	13M
	coq_8.9.0-1_amd64.deb	2022-04-11 05:02	56M
	libcoq-ocaml-dev_8.9.0-1_amd64.deb	2022-04-11 05:05	13M
	coq-theories_8.9.0-1_amd64.deb	2022-04-11 05:16	28M
	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_8.9.0.orig.tar.gz	2022-04-11 05:21	5.1M
	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
	coq-theories_8.9.0-1_i386.deb	2022-04-11 05:36	27M
	coq_8.9.0-1_i386.deb	2022-04-11 05:46	54M