Index of /ubuntu/pool/universe/c/coq-dpdgraph

	Name	Last modified	Size
	Parent Directory		-
	coq-dpdgraph-tools_1.0+8.15-2_amd64.deb	2022-07-16 17:24	1.1M
	coq-dpdgraph-tools_1.0+8.15-2_arm64.deb	2022-07-16 17:24	1.1M
	coq-dpdgraph-tools_1.0+8.15-2_armhf.deb	2022-07-16 17:24	1.1M
	coq-dpdgraph-tools_1.0+8.15-2_ppc64el.deb	2022-07-16 17:24	1.1M
	coq-dpdgraph-tools_1.0+8.15-2_riscv64.deb	2022-07-16 17:43	1.1M
	coq-dpdgraph-tools_1.0+8.15-2_s390x.deb	2022-07-17 03:59	1.1M
	coq-dpdgraph_1.0+8.15-2.debian.tar.xz	2022-07-16 17:24	2.8K
	coq-dpdgraph_1.0+8.15-2.dsc	2022-07-16 17:24	2.3K
	coq-dpdgraph_1.0+8.15.orig.tar.gz	2022-07-01 23:29	63K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb	2022-07-16 17:24	17K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_arm64.deb	2022-07-16 17:24	17K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_armhf.deb	2022-07-16 17:24	17K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_ppc64el.deb	2022-07-16 17:24	17K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_riscv64.deb	2022-07-16 17:43	17K
	libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_s390x.deb	2022-07-17 03:59	17K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb	2022-07-16 17:24	22K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_arm64.deb	2022-07-16 17:24	25K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_armhf.deb	2022-07-16 17:24	22K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_ppc64el.deb	2022-07-16 17:24	24K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_riscv64.deb	2022-07-16 17:43	22K
	libcoq-dpdgraph-ocaml_1.0+8.15-2_s390x.deb	2022-07-17 03:59	22K
	libcoq-dpdgraph_1.0+8.15-2_amd64.deb	2022-07-16 17:24	2.7K
	libcoq-dpdgraph_1.0+8.15-2_arm64.deb	2022-07-16 17:24	2.7K
	libcoq-dpdgraph_1.0+8.15-2_armhf.deb	2022-07-16 17:24	2.7K
	libcoq-dpdgraph_1.0+8.15-2_ppc64el.deb	2022-07-16 17:24	2.7K
	libcoq-dpdgraph_1.0+8.15-2_riscv64.deb	2022-07-16 17:43	2.7K
	libcoq-dpdgraph_1.0+8.15-2_s390x.deb	2022-07-17 03:59	2.7K