[Pkg-ocaml-maint-commits] r4864 - /trunk/packages/matita/trunk/debian/control

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Wed Dec  5 18:51:19 2007
New Revision: 4864

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4864
Log:
use source:Version instead of binary:Version since arch all pacakges 
have only the former.

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

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=4864&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Wed Dec  5 18:51:19 2007
@@ -25,7 +25,7 @@
 
 Package: matita-standard-library
 Architecture: all
-Depends: matita (= ${binary:Version})
+Depends: matita (= ${source:Version})
 Description: standard library for the Matita interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of
  (Co)Inductive Constructions.