Index of /ubuntu-ports/pool/universe/c/coq-hierarchy-builder

	Name	Last modified	Size
	Parent Directory		-
	libcoq-hierarchy-builder_1.2.1-11_riscv64.deb	2022-06-13 12:03	236K
	libcoq-hierarchy-builder_1.2.1-11_ppc64el.deb	2022-06-13 16:49	236K
	libcoq-hierarchy-builder_1.2.1-11_armhf.deb	2022-06-13 11:24	236K
	libcoq-hierarchy-builder_1.2.1-11_arm64.deb	2022-06-13 11:24	236K
	libcoq-hierarchy-builder_1.2.1-2_riscv64.deb	2022-02-14 08:54	241K
	libcoq-hierarchy-builder_1.2.1-2_ppc64el.deb	2022-02-14 08:54	241K
	libcoq-hierarchy-builder_1.2.1-2_armhf.deb	2022-02-14 08:54	241K
	libcoq-hierarchy-builder_1.2.1-2_arm64.deb	2022-02-14 08:54	241K
	coq-hierarchy-builder_1.2.1.orig.tar.gz	2022-01-17 23:14	184K
	coq-hierarchy-builder_1.2.1-11_riscv64.deb	2022-06-13 12:03	759K
	coq-hierarchy-builder_1.2.1-11_ppc64el.deb	2022-06-13 16:49	759K
	coq-hierarchy-builder_1.2.1-11_armhf.deb	2022-06-13 11:24	759K
	coq-hierarchy-builder_1.2.1-11_arm64.deb	2022-06-13 11:24	759K
	coq-hierarchy-builder_1.2.1-11.dsc	2022-06-13 11:23	2.2K
	coq-hierarchy-builder_1.2.1-11.debian.tar.xz	2022-06-13 11:23	3.7K
	coq-hierarchy-builder_1.2.1-2_riscv64.deb	2022-02-14 08:54	760K
	coq-hierarchy-builder_1.2.1-2_ppc64el.deb	2022-02-14 08:54	760K
	coq-hierarchy-builder_1.2.1-2_armhf.deb	2022-02-14 08:54	760K
	coq-hierarchy-builder_1.2.1-2_arm64.deb	2022-02-14 08:54	760K
	coq-hierarchy-builder_1.2.1-2.dsc	2022-02-14 05:33	2.2K
	coq-hierarchy-builder_1.2.1-2.debian.tar.xz	2022-02-14 05:33	2.7K