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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-hierarchy-builder_1.2.1-2.debian.tar.xz	14-Feb-2022 02:33	2.7K
	coq-hierarchy-builder_1.2.1-2.dsc	14-Feb-2022 02:33	2.2K
	coq-hierarchy-builder_1.2.1-2_amd64.deb	14-Feb-2022 05:54	760K
	coq-hierarchy-builder_1.2.1.orig.tar.gz	17-Jan-2022 20:14	184K
	coq-hierarchy-builder_1.3.0-1.debian.tar.xz	30-Jul-2022 21:33	3.3K
	coq-hierarchy-builder_1.3.0-1.dsc	30-Jul-2022 21:33	2.2K
	coq-hierarchy-builder_1.3.0-1_amd64.deb	30-Jul-2022 21:34	759K
	coq-hierarchy-builder_1.3.0.orig.tar.gz	30-Jul-2022 21:33	195K
	coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz	03-Dec-2022 17:33	3.1K
	coq-hierarchy-builder_1.4.0-2build1.dsc	03-Dec-2022 17:33	2.2K
	coq-hierarchy-builder_1.4.0-2build1_amd64.deb	03-Dec-2022 19:43	759K
	coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz	27-Jan-2023 15:29	3.1K
	coq-hierarchy-builder_1.4.0-2build2.dsc	27-Jan-2023 15:29	2.2K
	coq-hierarchy-builder_1.4.0-2build2_amd64.deb	27-Jan-2023 15:29	759K
	coq-hierarchy-builder_1.4.0.orig.tar.gz	06-Nov-2022 00:17	197K
	libcoq-hierarchy-builder_1.2.1-2_amd64.deb	14-Feb-2022 05:54	241K
	libcoq-hierarchy-builder_1.3.0-1_amd64.deb	30-Jul-2022 21:34	243K
	libcoq-hierarchy-builder_1.4.0-2build1_amd64.deb	03-Dec-2022 19:43	258K
	libcoq-hierarchy-builder_1.4.0-2build2_amd64.deb	27-Jan-2023 15:29	258K