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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-doc_8.0pl1.0-1_source.changes.bz2	2006-06-26 15:41	538
	coq-doc_8.0pl3+8.1alpha-1_source.changes.bz2	2006-06-26 15:41	689
	coq-doc_8.0pl3+8.1alpha-2_source.changes.bz2	2006-06-26 15:41	568
	coq-doc_8.0pl3+8.1beta.2-1_source.changes.bz2	2006-07-13 23:08	517
	coq-doc_8.1-1_source.changes.bz2	2007-02-13 22:10	536
	coq-doc_8.1-3_source.changes.bz2	2007-05-02 12:09	569
	coq-doc_8.1~gamma-1_source.changes.bz2	2007-01-08 09:10	557
	coq-doc_8.1~gamma-2_source.changes.bz2	2007-01-16 22:09	482
	coq-doc_8.2pl1-1_source.changes.bz2	2010-01-08 05:33	1.1K
	coq-doc_8.3pl2-1_source.changes.bz2	2011-05-06 18:04	839
	coq-doc_8.3pl3-1_source.changes.bz2	2012-01-04 12:10	783
	coq-doc_8.3pl4-1_source.changes.bz2	2012-04-06 11:11	780
	coq-doc_8.4pl2-1_source.changes.bz2	2013-12-13 22:07	818
	coq-doc_8.4pl4-1_source.changes.bz2	2014-08-17 15:37	853
	coq-doc_8.4pl4-2_source.changes.bz2	2016-02-12 04:38	732
	coq-doc_8.6-1_source.changes.bz2	2017-07-13 16:16	1.0K
	coq-doc_8.15.0-1_source.changes.bz2	2022-02-08 21:06	1.0K
	coq-doc_8.15.0-2_source.changes.bz2	2022-02-17 15:06	691
	coq-doc_8.15.0-3_source.changes.bz2	2022-02-22 15:07	690
	coq-doc_8.15.1-1_source.changes.bz2	2022-03-30 16:07	784
	coq-doc_8.15.2-1_source.changes.bz2	2022-06-16 03:37	831
	coq-doc_8.15.2-2_source.changes.bz2	2022-06-16 09:38	677
	coq-doc_8.15.2-3_source.changes.bz2	2022-07-14 15:07	694
	coq-doc_8.16.0-1_source.changes.bz2	2022-09-11 15:11	777
	coq-doc_8.16.0-2_source.changes.bz2	2022-10-03 03:37	702
	coq-doc_8.16.1-1_source.changes.bz2	2022-12-10 03:37	780
	coq-doc_8.17.1-1_source.changes.bz2	2023-08-12 16:06	1.0K
	coq-doc_8.18.0-1_source.changes.bz2	2024-01-25 21:09	832
	coq-doc_8.19.1-1_source.changes.bz2	2024-04-26 15:50	777
	coq-doc_8.19.1-2_source.changes.bz2	2024-06-18 21:39	682
	coq-doc_8.20.0-1_source.changes.bz2	2024-12-27 03:06	804
	coq-doc_8.20.0-2_source.changes.bz2	2025-01-24 04:10	735