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 <[EMAIL PROTECTED]> 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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
