Index of /ubuntu/pool/universe/p/paramcoq

	Name	Last modified	Size
	Parent Directory		-
	libcoq-paramcoq-ocaml-dev_1.1.3-7_amd64.deb	2022-06-12 17:24	25K
	libcoq-paramcoq-ocaml-dev_1.1.3-7_arm64.deb	2022-06-12 17:24	25K
	libcoq-paramcoq-ocaml-dev_1.1.3-7_armhf.deb	2022-06-12 17:24	25K
	libcoq-paramcoq-ocaml-dev_1.1.3-7_ppc64el.deb	2022-06-12 17:44	25K
	libcoq-paramcoq-ocaml-dev_1.1.3-7_riscv64.deb	2022-06-12 17:44	25K
	libcoq-paramcoq-ocaml-dev_1.1.3-7_s390x.deb	2022-06-12 17:44	25K
	libcoq-paramcoq-ocaml_1.1.3-7_amd64.deb	2022-06-12 17:24	108K
	libcoq-paramcoq-ocaml_1.1.3-7_arm64.deb	2022-06-12 17:24	126K
	libcoq-paramcoq-ocaml_1.1.3-7_armhf.deb	2022-06-12 17:24	107K
	libcoq-paramcoq-ocaml_1.1.3-7_ppc64el.deb	2022-06-12 17:44	115K
	libcoq-paramcoq-ocaml_1.1.3-7_riscv64.deb	2022-06-12 17:44	109K
	libcoq-paramcoq-ocaml_1.1.3-7_s390x.deb	2022-06-12 17:44	114K
	libcoq-paramcoq_1.1.3-7_amd64.deb	2022-06-12 17:24	3.0K
	libcoq-paramcoq_1.1.3-7_arm64.deb	2022-06-12 17:24	3.0K
	libcoq-paramcoq_1.1.3-7_armhf.deb	2022-06-12 17:24	3.0K
	libcoq-paramcoq_1.1.3-7_ppc64el.deb	2022-06-12 17:44	3.0K
	libcoq-paramcoq_1.1.3-7_riscv64.deb	2022-06-12 17:44	3.0K
	libcoq-paramcoq_1.1.3-7_s390x.deb	2022-06-12 17:44	3.0K
	paramcoq_1.1.3-7.debian.tar.xz	2022-06-12 17:23	2.9K
	paramcoq_1.1.3-7.dsc	2022-06-12 17:23	2.1K
	paramcoq_1.1.3.orig.tar.gz	2022-05-15 23:29	45K