[Pkg-ocaml-maint-commits] r6453 - in /trunk/packages/matita/trunk/debian: changelog control

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Fri Dec  4 13:34:38 2009
New Revision: 6453

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6453
Log:
added conflit/replaces to matita w.r.t matita-standard-library

Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=6453&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Fri Dec  4 13:34:38 2009
@@ -1,8 +1,9 @@
-matita (0.5.8-2) UNRELEASED; urgency=low
+matita (0.5.8-2) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * Conflict and replace matita-standard-library (Closes: #559261)
+  * suggest matita-doc
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 02 Dec 2009 00:38:48 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org>  Fri, 04 Dec 2009 14:32:45 +0100
 
 matita (0.5.8-1) unstable; urgency=low
 

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=6453&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Fri Dec  4 13:34:38 2009
@@ -14,6 +14,9 @@
 Architecture: any
 Depends: ${shlibs:Depends}, ${interpreter:Depends}, ${misc:Depends}
 Recommends: graphviz, yelp
+Suggests: matita-doc
+Conflicts: matita-standard-library
+Replaces: matita-standard-library
 Description: interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of
  (Co)Inductive Constructions.