[Pkg-ocaml-maint-commits] r3779 - in /trunk/packages/coq/trunk/debian: changelog rules

[smimram at users.alioth.debian.org]

Author: smimram
Date: Tue May 22 20:43:47 2007
New Revision: 3779

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3779
Log:
Correctly clean.

Modified:
    trunk/packages/coq/trunk/debian/changelog
    trunk/packages/coq/trunk/debian/rules

Modified: trunk/packages/coq/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/changelog?rev=3779&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/changelog (original)
+++ trunk/packages/coq/trunk/debian/changelog Tue May 22 20:43:47 2007
@@ -1,3 +1,9 @@
+coq (8.1+dfsg-5) unstable; urgency=low
+
+  * Correctly clean, closes: #424162.
+
+ -- Samuel Mimram <smimram at debian.org>  Tue, 22 May 2007 21:53:16 +0200
+
 coq (8.1+dfsg-4) unstable; urgency=low
 
   * Correctly set Coq_config.best when rebuilding in byte mode.

Modified: trunk/packages/coq/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/rules?rev=3779&op=diff
==============================================================================
--- trunk/packages/coq/trunk/debian/rules (original)
+++ trunk/packages/coq/trunk/debian/rules Tue May 22 20:43:47 2007
@@ -64,6 +64,7 @@
 	rm -f config/coq_config.ml config/Makefile test-suite/check.log
 	rm -f dev/ocamldebug-v7
 	rm -f ide/undo.mli glob.dump
+	rm -f test-suite/modules/*.vo
 
 	dh_clean