Index of /by-release/changes-files/debian/c/coq-hott

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-hott_8.15-2_source.changes.bz2	2022-07-08 21:40	649
	coq-hott_8.15-3_source.changes.bz2	2022-07-16 15:08	618
	coq-hott_8.15-4_source.changes.bz2	2022-08-22 15:06	618
	coq-hott_8.16-1_source.changes.bz2	2022-09-06 15:37	733
	coq-hott_8.16-2_source.changes.bz2	2023-01-25 09:41	651
	coq-hott_8.17-1_source.changes.bz2	2023-06-13 04:08	753
	coq-hott_8.18-1_source.changes.bz2	2023-09-01 15:06	900
	coq-hott_8.18-3_source.changes.bz2	2023-12-22 15:19	643
	coq-hott_8.19-1_source.changes.bz2	2024-04-27 21:37	733
	coq-hott_8.19-2_source.changes.bz2	2024-08-03 21:06	663
	coq-hott_8.20-1_source.changes.bz2	2024-11-20 16:09	737
	coq-hott_9.0-1_source.changes.bz2	2025-02-17 21:07	762
	coq-hott_9.0-2_source.changes	2025-10-29 16:32	1.0K
	coq-hott_9.0-3_source.changes	2025-11-11 21:05	1.0K