Your message dated Mon, 20 Jan 2020 03:19:37 +0000 with message-id <e1itnbf-0009ee...@fasolo.debian.org> and subject line Bug#934950: fixed in dafny 2.3.0+dfsg-0.1 has caused the Debian Bug report #934950, regarding dafny: unsatisfiable build-dependency in sid 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.) -- 934950: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934950 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: dafny Version: 1.9.7-1 Severity: serious User: trei...@debian.org Usertags: edos-uninstallable Hi, dafny build-depends on mono-devel and on mono-reference-assemblies-4.0. However, the current version of mono-devel in sid (5.18.0.240+dfsg-3) declares a Breaks with mono-reference-assemblies-4.0 (<< 5.0~). This makes the build-dependencies of dafny unsatisfiable in sid. -Ralf.
--- End Message ---
--- Begin Message ---Source: dafny Source-Version: 2.3.0+dfsg-0.1 We believe that the bug you reported is fixed in the latest version of dafny, 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 934...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Fabian Wolff <fabi.wo...@arcor.de> (supplier of updated dafny 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: SHA512 Format: 1.8 Date: Tue, 14 Jan 2020 21:27:14 +0100 Source: dafny Architecture: source Version: 2.3.0+dfsg-0.1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Closes: 852645 934950 Changes: dafny (2.3.0+dfsg-0.1) unstable; urgency=medium . * Non-maintainer upload. * New upstream release. * Update watch file. * Upgrade to debhelper compat level 12. * Upgrade to Standards-Version 4.4.1. * Change Priority from extra to optional in debian/control. * Make the package build again (Closes: #852645, #934950). * Enable autopkgtest package testing and add ackermann-{pos,neg} tests. * Update debian/copyright. * Update patch use_system_z3.diff. * Add Vcs-Git and Vcs-Browser fields in debian/control. Checksums-Sha1: 7a8eb9cd6270a7640cb0b356631624ccce4ce258 1924 dafny_2.3.0+dfsg-0.1.dsc 4337332e9556890b531535556565fa57f6248b0f 2167124 dafny_2.3.0+dfsg.orig.tar.xz f6d54cf238ce937ea47beab41f5bc0c705ba2813 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz 7df7ac60efecb8a15f5fb1c2b9f0d41550956503 15920 dafny_2.3.0+dfsg-0.1_source.buildinfo Checksums-Sha256: 28566acdf347e815f57295eb2f08c2fd3db001aeac8cf1f6eef7e3a44a890880 1924 dafny_2.3.0+dfsg-0.1.dsc 239664cd32619a6fe3f4c5695d7f82015d430eefceaa524846566ef80c93a50d 2167124 dafny_2.3.0+dfsg.orig.tar.xz 3ef40a8130cc1772871e56a335311a2e8407a86da4cab82b660d300ef17f1839 10412 dafny_2.3.0+dfsg-0.1.debian.tar.xz 56dc299e79a14e9df9f43a3af437c78135d1fb0cb073cd2e291d054515662724 15920 dafny_2.3.0+dfsg-0.1_source.buildinfo Files: eeeace130b80448c522243ce880cd9e1 1924 devel optional dafny_2.3.0+dfsg-0.1.dsc 9106c3f8985bfa66fa641791c7ae5699 2167124 devel optional dafny_2.3.0+dfsg.orig.tar.xz 17e393f6a9c52ca18b4d67afb86c17f0 10412 devel optional dafny_2.3.0+dfsg-0.1.debian.tar.xz 64ea6a14cf6e2cb9b5025c84e00b84cc 15920 devel optional dafny_2.3.0+dfsg-0.1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl4efa0ACgkQ0Ot2KGX8 XjZ3+A/+Pk2Tx4OkS1dX45RjOs7OAd835poAE9pq4fo2DTyZ7+6ucwASt64bJOHx eVr6fNQHq7L8uRLtnqyQunKGQqQC90SyepJGKmkNSBb0PtEqtLwMI3Kz7FarhSNt xlIL4Fd/OoFzIirKkzOQ9+m3r3gRKsKCqT8MTs+oUI0aAPDaWlGHqyMFVBVncd8Q Rw7xEYmszoCRJ8h0mh+9q6kLBe2QJRmVIAosbmwSVNfQE2hi4ZgmNRi7THp0nGNF pULOwXVasfYskmg6dvk1j2P0vQM0jKAnfAtII+yUqoeOMvfoiKX3Tr8FOaq7PCvk T6oA0TcRkddQClglDwRlROkghKscLvUiWS7+BtLjhHZDqQw44I+f57sgFdoSRNsh npUtVQEncafBZ1LfUty7f3qBq2tWBnHw3aBxtbtR1Wz8SAmEoGQLMmGgExAl7wnN 1kqiiEqRHIEQghkrqlVezEsqZlZToM07FfBrjz66IEw3tnjvfdpZFSVqAYHHTDCO 4eVjsKWZUg2dv/VAa/MOmaCAPegllpEnEI2Ba+426CnQTWY3xk4uv9SwR+QeFzym iv2TYvqJk8l8b1QMcYZI4CAcaJ2AnPcAqSpG973IDDwOpPv3QHpMhsc8LEy0zL8m Wgv0bVqc4n+OhOq7+VYjufCpvGgpHq5AKrhCVE8JQWJc79Potmo= =mKX/ -----END PGP SIGNATURE-----
--- End Message ---
