Commit 2fc148f60a4ca684f891bf77c1d3e1ad79e668b3 - coq-float

Update changelog Stephane Glondu 4 years ago

1 changed file(s) with 9 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all

-0

debian/changelog less more

	0	coq-float (1:8.9.0-1) UNRELEASED; urgency=medium
	1
	2	* New upstream release
	3	* Update Homepage and debian/watch
	4	* Update Vcs-*
	5	* Remove Samuel from Uploaders
	6
	7	-- Stéphane Glondu <glondu@debian.org> Sat, 01 Feb 2020 11:00:47 +0100
	8
0	9	coq-float (1:8.4-5) unstable; urgency=medium
1	10
2	11	* Recompile with OCaml 4.02.3