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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-doc_8.0pl1.0-1_source.changes.bz2	2006-06-26 22:05	538
	coq-doc_8.1-3_source.changes.bz2	2007-05-07 15:44	1.0K
	coq-doc_8.2pl1-1_source.changes.bz2	2010-01-18 07:30	1.1K
	coq-doc_8.3pl2-1_source.changes.bz2	2011-05-16 23:09	839
	coq-doc_8.3pl2-1build1_source.changes.bz2	2012-03-02 20:47	726
	coq-doc_8.3pl4-1_source.changes.bz2	2012-05-22 03:44	803
	coq-doc_8.4pl2-1_source.changes.bz2	2013-12-14 01:05	818
	coq-doc_8.4pl4-1_source.changes.bz2	2014-10-25 06:06	853
	coq-doc_8.4pl4-2_source.changes.bz2	2016-02-12 08:37	732
	coq-doc_8.6-1_source.changes.bz2	2017-07-14 14:12	1.0K
	coq-doc_8.15.0-3_source.changes.bz2	2022-03-17 13:06	951
	coq-doc_8.15.2-1_source.changes.bz2	2022-06-16 09:40	873
	coq-doc_8.15.2-2_source.changes.bz2	2022-06-16 16:36	677
	coq-doc_8.15.2-3_source.changes.bz2	2022-07-14 22:07	694
	coq-doc_8.16.0-2_source.changes.bz2	2022-11-30 19:12	723
	coq-doc_8.16.1-1_source.changes.bz2	2022-12-15 04:38	780
	coq-doc_8.17.1-1_source.changes.bz2	2023-08-12 20:06	1.0K
	coq-doc_8.18.0-1_source.changes.bz2	2024-04-03 05:16	832
	coq-doc_8.19.1-1_source.changes.bz2	2024-05-07 12:44	777
	coq-doc_8.19.1-2_source.changes.bz2	2024-06-19 02:52	682
	coq-doc_8.20.0-1_source.changes.bz2	2024-12-27 11:06	804
	coq-doc_8.20.0-2_source.changes.bz2	2025-01-24 17:39	735