Your message dated Wed, 13 May 2020 13:50:46 +0000 with message-id <e1jyrmy-0005be...@fasolo.debian.org> and subject line Bug#956674: fixed in prooftree 0.13-2 has caused the Debian Bug report #956674, regarding prooftree must build depend on coq 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 ow...@bugs.debian.org immediately.) -- 956674: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956674 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: prooftree Version: 0.13-1 Severity: serious Tags: bullseye sid prooftree must build depend on coq, to prevent building on architectures where it would not be installable.
--- End Message ---
--- Begin Message ---Source: prooftree Source-Version: 0.13-2 Done: Gianfranco Costamagna <locutusofb...@debian.org> We believe that the bug you reported is fixed in the latest version of prooftree, which is due to be installed in the Debian FTP archive. 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 956...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Gianfranco Costamagna <locutusofb...@debian.org> (supplier of updated prooftree 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 13 May 2020 15:30:43 +0200 Source: prooftree Binary: prooftree Architecture: source Version: 0.13-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofb...@debian.org> Description: prooftree - proof-tree visualization for Proof General Closes: 956674 Changes: prooftree (0.13-2) unstable; urgency=medium . [ Stephane Glondu ] * Update Vcs-* . [ Gianfranco Costamagna ] * Team upload * Build-depend on coq to avoid it being uninstallable where coq is not built (Closes: #956674) Checksums-Sha1: ad130d5fd7b90c035f5135fbf17408127fd6f30c 1976 prooftree_0.13-2.dsc 008ba591d7425e40a17b2c93be1dee9d46bfe528 2464 prooftree_0.13-2.debian.tar.xz 757808adef1833e171b905dd019fbacc721f98bf 14260 prooftree_0.13-2_source.buildinfo Checksums-Sha256: 2f666cb9fc165b5365425fdbc4a4e8f5751681df9360305e38acde7d0610390d 1976 prooftree_0.13-2.dsc fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c 2464 prooftree_0.13-2.debian.tar.xz 9f5aa539cd778a9bf136fa530382c32426801114e7dd1c404537d9c007a41dc1 14260 prooftree_0.13-2_source.buildinfo Files: d95c1cf644c9cc7c16f8fa08d7e40584 1976 science optional prooftree_0.13-2.dsc 180dd0d00a17cd94eb640365893c9ac9 2464 science optional prooftree_0.13-2.debian.tar.xz 34a12bc69dedd4a57cd3afd57869ee66 14260 science optional prooftree_0.13-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl679sAACgkQ808JdE6f XdmTshAAvvb64K9+UyuS0aAuyQmsBzpoVPcPMnbBUgbfk6VFkofz52YQ/0S7Z0Zp Uwxe3Y3q05m9NNMImdFqwylNa565tK7kFF0Za1q+gwgkR+akUKLiVWhLiECHRQSd nbeluIGY+DC8UBzIziQm/cJ7Svm+441XxvIvwLbG3a0FsJUtYJ7JURm6amSAeQEV 6ob0aZLrg/ndXTyrw6ZnNED5dIvrsWcCQs2QexH8L0MTjP1NaLVybrg/eWKi8gWl EmBzjustfzeMcnc9ogwszH5IS3nbD/MOQXORqoBXA5YTr5tVr/2lKcgqHRkN8+7S heGOemeXN85IVnnHwBAwDCiDdJf8V/Q7olMS+QqcApkOfM6zKt/VAE7XdcpV0FL7 +4SGSp2gjWVudUzY96ZY2kOgV2rjTxiloN6zv1k1wNIg5EQFGFpyLgOzLx6j1gEi pBb4/3Mmjj0+CQ6NfaTixjTe4mZ4W5rnvYx7TyNpYwPQGMoY/xgySO0kzGahhtDV x5ocC9qwsYInhIQd/GdPuFcZTIEhRZFvqYKY36mwEJiTV9S2gQIVMNxVZLNaujs2 LjEhanskdAW4TWuDncDtOsKhX0SWLWjUpKQivkzowt9l7Stv/GpRfnyLn5QPPUUb zcbOXwN9G8zzSutCkamkBQPRjfVsPp+8tSV49S5B6uHOM+HLiF8= =mKZJ -----END PGP SIGNATURE-----
--- End Message ---
