Package: matita
Version: 0.4.98-3
Severity: normal
Tags: patch
Please apply the attached patch to make your package binNMU safe.
More info at http://wiki.debian.org/binNMU
Let me know if you have questions about this patch.
-- System Information:
Debian Release: lenny/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.22-3-k7 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
--- /tmp/control 2007-12-03 20:39:33.000000000 +0200
+++ debian/control 2007-12-03 20:40:41.000000000 +0200
@@ -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.
