Index of /changelogs/main/c/coq-float

	Name	Last modified	Size
	Parent Directory		-
	coq-float_8.4-4_changelog	2014-07-30 06:59	4.7K
	coq-float_8.4-4_copyright	2013-05-10 12:38	1.6K
	coq-float_8.10.0-1_changelog	2020-03-16 10:08	5.5K
	coq-float_8.10.0-1_copyright	2020-03-16 10:08	1.5K
	oldoldoldstable_changelog	2014-07-30 06:59	4.7K
	oldoldoldstable_copyright	2013-05-10 12:38	1.6K
	oldoldstable_changelog	2014-07-30 06:59	4.7K
	oldoldstable_copyright	2013-05-10 12:38	1.6K
	oldstable-kfreebsd_changelog	2014-07-30 06:59	4.7K
	oldstable-kfreebsd_copyright	2013-05-10 12:38	1.6K
	oldstable_changelog	2014-07-30 06:59	4.7K
	oldstable_copyright	2013-05-10 12:38	1.6K
	stable-kfreebsd_changelog	2014-07-30 06:59	4.7K
	stable-kfreebsd_copyright	2013-05-10 12:38	1.6K
	stable_changelog	2014-07-30 06:59	4.7K
	stable_copyright	2013-05-10 12:38	1.6K
	testing-kfreebsd_changelog	2014-07-30 06:59	4.7K
	testing-kfreebsd_copyright	2013-05-10 12:38	1.6K
	testing_changelog	2020-03-16 10:08	5.5K
	testing_copyright	2020-03-16 10:08	1.5K
	unstable_changelog	2020-03-16 10:08	5.5K
	unstable_copyright	2020-03-16 10:08	1.5K