Commit d136352525babcff56d1a7c9ac018c6c6c7443a4 - coq

Update changelog and prepare upload to experimental Stephane Glondu 12 years ago

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

-0

debian/changelog less more

	0	coq (8.4~beta+dfsg-3) experimental; urgency=low
	1
	2	* Replace proofgeneral-coq by proofgeneral in dependencies
	3	* Disable a test that uses too much memory, causing random FTBFS
	4
	5	-- Stéphane Glondu <glondu@debian.org> Sun, 15 Jan 2012 12:37:23 +0100
	6
0	7	coq (8.4~beta+dfsg-2) experimental; urgency=low
1	8
2	9	* Fix a typo that caused decl_mode_plugin.cmxs not being installed,