Commit debian/1%8.4-2 - coq-float

Prepare upload to unstable Stephane Glondu 10 years ago

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

-0

debian/changelog less more

	0	coq-float (1:8.4-2) unstable; urgency=low
	1
	2	* Recompile with OCaml 4.01.0
	3
	4	-- Stéphane Glondu <glondu@debian.org> Sat, 07 Dec 2013 10:06:37 +0100
	5
0	6	coq-float (1:8.4-1) unstable; urgency=low
1	7
2	8	* New upstream release