Index of /pool/main/c/coq-hierarchy-builder

	Name	Last modified	Size
	Parent Directory		-
	coq-hierarchy-builder_1.4.0-2+b6_amd64.deb	14-Feb-2023 11:29	605K
	coq-hierarchy-builder_1.4.0-2+b6_arm64.deb	14-Feb-2023 11:29	605K
	coq-hierarchy-builder_1.4.0-2+b6_i386.deb	14-Feb-2023 11:24	605K
	coq-hierarchy-builder_1.4.0-2.debian.tar.xz	26-Oct-2022 09:06	3.1K
	coq-hierarchy-builder_1.4.0-2.dsc	26-Oct-2022 09:06	2.2K
	coq-hierarchy-builder_1.4.0.orig.tar.gz	02-Oct-2022 21:51	197K
	coq-hierarchy-builder_1.8.1-1.debian.tar.xz	17-Feb-2025 17:37	2.8K
	coq-hierarchy-builder_1.8.1-1.dsc	17-Feb-2025 17:37	2.1K
	coq-hierarchy-builder_1.8.1.orig.tar.gz	17-Feb-2025 17:37	210K
	coq-hierarchy-builder_1.10.1-2.debian.tar.xz	11-Nov-2025 19:30	5.2K
	coq-hierarchy-builder_1.10.1-2.dsc	11-Nov-2025 19:30	2.1K
	coq-hierarchy-builder_1.10.1.orig.tar.gz	29-Oct-2025 10:19	214K
	libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb	14-Feb-2023 11:29	235K
	libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb	14-Feb-2023 11:29	235K
	libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb	14-Feb-2023 11:24	234K
	libcoq-hierarchy-builder_1.8.1-1+b2_riscv64.deb	17-Jun-2025 10:11	538K
	libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb	17-Jun-2025 13:02	536K
	libcoq-hierarchy-builder_1.8.1-1+b3_arm64.deb	17-Jun-2025 13:08	538K
	libcoq-hierarchy-builder_1.8.1-1+b10_riscv64.deb	28-Dec-2025 09:24	538K
	libcoq-hierarchy-builder_1.8.1-1+b12_amd64.deb	13-Feb-2026 21:18	537K
	libcoq-hierarchy-builder_1.8.1-1+b12_arm64.deb	13-Feb-2026 19:20	538K
	libcoq-hierarchy-builder_1.10.1-2+b1_amd64.deb	15-Feb-2026 12:19	960K
	libcoq-hierarchy-builder_1.10.1-2+b1_arm64.deb	15-Feb-2026 17:33	960K