Index of /by-release/debian/c/coq-hierarchy-builder

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-hierarchy-builder_1.2.1-3.patch-basis	2022-03-24 03:08	8
	coq-hierarchy-builder_1.2.1-3.patch.bz2	2022-03-24 03:08	339
	coq-hierarchy-builder_1.2.1-4.patch-basis	2022-04-13 15:43	8
	coq-hierarchy-builder_1.2.1-4.patch.bz2	2022-04-13 15:43	688
	coq-hierarchy-builder_1.2.1-6.patch-basis	2022-05-11 21:08	8
	coq-hierarchy-builder_1.2.1-6.patch.bz2	2022-05-11 21:08	909
	coq-hierarchy-builder_1.2.1-7.patch-basis	2022-05-12 09:41	8
	coq-hierarchy-builder_1.2.1-7.patch.bz2	2022-05-12 09:41	967
	coq-hierarchy-builder_1.2.1-8.patch-basis	2022-05-22 21:37	8
	coq-hierarchy-builder_1.2.1-8.patch.bz2	2022-05-22 21:37	1.0K
	coq-hierarchy-builder_1.2.1-9.patch-basis	2022-05-23 21:38	8
	coq-hierarchy-builder_1.2.1-9.patch.bz2	2022-05-23 21:38	1.9K
	coq-hierarchy-builder_1.2.1-10.patch-basis	2022-06-02 09:09	8
	coq-hierarchy-builder_1.2.1-10.patch.bz2	2022-06-02 09:09	527
	coq-hierarchy-builder_1.2.1-11.patch-basis	2022-06-13 09:07	9
	coq-hierarchy-builder_1.2.1-11.patch.bz2	2022-06-13 09:07	957
	coq-hierarchy-builder_1.3.0-1.patch-basis	2022-07-30 21:09	9
	coq-hierarchy-builder_1.3.0-1.patch.bz2	2022-07-30 21:09	30K
	coq-hierarchy-builder_1.3.0-2.patch-basis	2022-09-06 15:44	8
	coq-hierarchy-builder_1.3.0-2.patch.bz2	2022-09-06 15:44	497
	coq-hierarchy-builder_1.4.0-1.patch-basis	2022-10-03 03:38	8
	coq-hierarchy-builder_1.4.0-1.patch.bz2	2022-10-03 03:38	20K
	coq-hierarchy-builder_1.4.0-2.patch-basis	2022-10-26 09:37	8
	coq-hierarchy-builder_1.4.0-2.patch.bz2	2022-10-26 09:37	20K
	coq-hierarchy-builder_1.4.0-4.patch-basis	2023-07-04 21:24	8
	coq-hierarchy-builder_1.4.0-4.patch.bz2	2023-07-04 21:24	492
	coq-hierarchy-builder_1.4.0-5.patch-basis	2023-07-05 16:09	8
	coq-hierarchy-builder_1.4.0-5.patch.bz2	2023-07-05 16:09	535
	patches.xml	2025-02-17 21:24	3.1K