Index of /changelogs/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq_8.4pl4dfsg-1_README.Debian	2014-01-19 16:04	765
	coq_8.4pl4dfsg-1_changelog	2014-07-27 13:25	25K
	coq_8.4pl4dfsg-1_copyright	2014-07-27 08:36	790
	coq_8.9.0-1_NEWS	2019-02-03 00:29	335
	coq_8.9.0-1_README.Debian	2019-02-03 00:29	687
	coq_8.9.0-1_changelog	2019-02-06 17:41	28K
	coq_8.9.0-1_copyright	2019-02-06 12:19	7.1K
	coq_8.12.0-3_NEWS	2020-09-09 19:16	335
	coq_8.12.0-3_README.Debian	2020-09-09 19:16	687
	coq_8.12.0-3_changelog	2020-09-09 19:16	36K
	coq_8.12.0-3_copyright	2020-09-09 19:16	9.8K
	coq_8.14.0+dfsg-2_NEWS	2021-11-11 16:40	335
	coq_8.14.0+dfsg-2_README.Debian	2021-11-11 16:40	687
	coq_8.14.0+dfsg-2_changelog	2021-11-11 16:40	37K
	coq_8.14.0+dfsg-2_copyright	2021-11-11 16:40	8.3K
	coq_8.16.1+dfsg-1_NEWS	2022-11-29 08:28	335
	coq_8.16.1+dfsg-1_README.Debian	2022-11-29 08:28	687
	coq_8.16.1+dfsg-1_changelog	2022-11-29 08:28	40K
	coq_8.16.1+dfsg-1_copyright	2022-11-29 08:28	8.1K
	coq_8.19.1+dfsg-3_NEWS	2024-08-03 07:40	335
	coq_8.19.1+dfsg-3_README.Debian	2024-08-03 07:40	687
	coq_8.19.1+dfsg-3_changelog	2024-08-03 07:40	43K
	coq_8.19.1+dfsg-3_copyright	2024-08-03 07:40	8.1K
	coq_8.20.0+dfsg-1_NEWS	2024-11-20 09:37	335
	coq_8.20.0+dfsg-1_README.Debian	2024-11-20 09:37	687
	coq_8.20.0+dfsg-1_changelog	2024-11-20 09:37	43K
	coq_8.20.0+dfsg-1_copyright	2024-11-20 09:37	8.1K
	experimental_NEWS	2021-11-11 16:40	335
	experimental_README.Debian	2021-11-11 16:40	687
	experimental_changelog	2021-11-11 16:40	37K
	experimental_copyright	2021-11-11 16:40	8.3K
	oldoldoldstable_README.Debian	2014-01-19 16:04	765
	oldoldoldstable_changelog	2014-07-27 13:25	25K
	oldoldoldstable_copyright	2014-07-27 08:36	790
	oldoldstable_NEWS	2019-02-03 00:29	335
	oldoldstable_README.Debian	2019-02-03 00:29	687
	oldoldstable_changelog	2019-02-06 17:41	28K
	oldoldstable_copyright	2019-02-06 12:19	7.1K
	oldstable-kfreebsd_README.Debian	2014-01-19 16:04	765
	oldstable-kfreebsd_changelog	2014-07-27 13:25	25K
	oldstable-kfreebsd_copyright	2014-07-27 08:36	790
	oldstable_NEWS	2020-09-09 19:16	335
	oldstable_README.Debian	2020-09-09 19:16	687
	oldstable_changelog	2020-09-09 19:16	36K
	oldstable_copyright	2020-09-09 19:16	9.8K
	stable-kfreebsd_README.Debian	2014-01-19 16:04	765
	stable-kfreebsd_changelog	2014-07-27 13:25	25K
	stable-kfreebsd_copyright	2014-07-27 08:36	790
	stable_NEWS	2022-11-29 08:28	335
	stable_README.Debian	2022-11-29 08:28	687
	stable_changelog	2022-11-29 08:28	40K
	stable_copyright	2022-11-29 08:28	8.1K
	testing-kfreebsd_README.Debian	2014-01-19 16:04	765
	testing-kfreebsd_changelog	2014-07-27 13:25	25K
	testing-kfreebsd_copyright	2014-07-27 08:36	790
	testing_NEWS	2024-08-03 07:40	335
	testing_README.Debian	2024-08-03 07:40	687
	testing_changelog	2024-08-03 07:40	43K
	testing_copyright	2024-08-03 07:40	8.1K
	unstable_NEWS	2024-11-20 09:37	335
	unstable_README.Debian	2024-11-20 09:37	687
	unstable_changelog	2024-11-20 09:37	43K
	unstable_copyright	2024-11-20 09:37	8.1K