[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#454176: marked as done (matita: not binNMU safe)

Your message dated Fri, 28 Nov 2008 12:39:19 +0000
with message-id <E1L62cx-0002IC-PZ@ries.debian.org>
and subject line Bug#454176: fixed in matita 0.5.5-2
has caused the Debian Bug report #454176,
regarding matita: not binNMU safe
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
454176: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=454176
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: matita
Source-Version: 0.5.5-2

We believe that the bug you reported is fixed in the latest version of
matita, which is due to be installed in the Debian FTP archive:

matita-doc_0.5.5-2_all.deb
  to pool/main/m/matita/matita-doc_0.5.5-2_all.deb
matita-standard-library_0.5.5-2_all.deb
  to pool/main/m/matita/matita-standard-library_0.5.5-2_all.deb
matita_0.5.5-2.diff.gz
  to pool/main/m/matita/matita_0.5.5-2.diff.gz
matita_0.5.5-2.dsc
  to pool/main/m/matita/matita_0.5.5-2.dsc
matita_0.5.5-2_amd64.deb
  to pool/main/m/matita/matita_0.5.5-2_amd64.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 454176@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Enrico Tassi <gareuselesinge@debian.org> (supplier of updated matita package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 22 Nov 2008 15:45:34 +0100
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: source all amd64
Version: 0.5.5-2
Distribution: experimental
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
 matita-standard-library - standard library for the Matita interactive theorem prover
Closes: 454176
Changes: 
 matita (0.5.5-2) experimental; urgency=low
 .
   * Bumped standards-version to 3.8.0, no changes needed
   * Added matita-doc package to contain the .html and .pdf versions of
     the user manual
   * Added matita-doc.doc-base to register the user manual shipped by
     matita-doc
   * Relaxed dependency of matita-standard-library to >= making it
     bin-nmuable. The bin-nmu is safe only if the OCaml compiler used to
     build the binary package has the same marshalling convention
     of the one used to build the arch-all package. (Closes: #454176)
Checksums-Sha1: 
 93dddb4db1c14e6cc67384da2a6c3b8437b64f6e 1711 matita_0.5.5-2.dsc
 ddb794f35e397650a3da030f679e37b3eea5cb19 6093 matita_0.5.5-2.diff.gz
 86c7e2428f5bb5da9bb6ea2c2531ea891452b44a 17507352 matita-standard-library_0.5.5-2_all.deb
 76cc200fe86fcf96ac2ee08ad87743bcb2109cbf 385006 matita-doc_0.5.5-2_all.deb
 4f697296d55064c797aaa974b649c723606d39e1 4040846 matita_0.5.5-2_amd64.deb
Checksums-Sha256: 
 7d6a09af3c53ec21038bcc78cb824f54ea2ff684da402472b37d6ed42560f1ba 1711 matita_0.5.5-2.dsc
 fc784fa9bcc450c5e54082c878adf229853980b511e57d47619abfae82bf459b 6093 matita_0.5.5-2.diff.gz
 fa41a42e697c228d479e89ce73feaf73b7557bf87d4c09c8bfbe684e9ba47d96 17507352 matita-standard-library_0.5.5-2_all.deb
 c763f9d00be5b31210c7c51c25685e7464fd10f7d24cb64bf8bdaee234f47278 385006 matita-doc_0.5.5-2_all.deb
 24c12cc7207d1c47afbec0d049880653b8f59655ab994bbe51e2c3275e0fe9dd 4040846 matita_0.5.5-2_amd64.deb
Files: 
 d592cef1c7967d390848c729ecfa25e8 1711 math optional matita_0.5.5-2.dsc
 0eb2c8121bedec967129e982872c211b 6093 math optional matita_0.5.5-2.diff.gz
 0071da49c2d3e9a3704bfb48065657c0 17507352 math optional matita-standard-library_0.5.5-2_all.deb
 e6be14c2e22db53ffd75ba02a08be1dc 385006 doc optional matita-doc_0.5.5-2_all.deb
 704a58aece117be1d9cd1e80359f5e1b 4040846 math optional matita_0.5.5-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkkoM9QACgkQ7kkcPgEj8vIsaQCeL3nGmjCKLYCq6DCjypx6gliU
qbUAn26kwm6//8k+qkHxSX6YKwA/wSPy
=6iIV
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: