Your message dated Fri, 27 Dec 2019 22:04:27 +0000
with message-id <[email protected]>
and subject line Bug#927171: fixed in boogie 2.4.1+dfsg-0.1
has caused the Debian Bug report #927171,
regarding boogie: build-dependencies not satisfiable 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 [email protected]
immediately.)
--
927171: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=927171
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: boogie
Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1
Severity: serious
User: [email protected]
Usertags: edos-uninstallable
Hi,
the build-dependencies of boogie are not satisfiable on any architecture
in sid. This is the case since at least 2019-01-12.
On amd64, arm64, armel, armhf, i386, mipsel, ppc64el, s390x, the reason
is that it build-depends both on mono-devel (>= 2.4.2.3) and
mono-reference-assemblies-4.0. However, mono-devel (5.18.0.240+dfsg-2)
declares a Breaks with mono-reference-assemblies-4.0 (<< 5.0~).
-Ralf.
--- End Message ---
--- Begin Message ---
Source: boogie
Source-Version: 2.4.1+dfsg-0.1
We believe that the bug you reported is fixed in the latest version of
boogie, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Fabian Wolff <[email protected]> (supplier of updated boogie 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 16 Dec 2019 14:25:20 +0100
Source: boogie
Architecture: source
Version: 2.4.1+dfsg-0.1
Distribution: unstable
Urgency: medium
Maintainer: Benjamin Barenblat <[email protected]>
Changed-By: Fabian Wolff <[email protected]>
Closes: 927171
Changes:
boogie (2.4.1+dfsg-0.1) unstable; urgency=medium
.
* Non-maintainer upload.
* New upstream release.
* Update debian/watch file.
* Update debian/copyright:
- New upstream license.
- Relicense debian/* to match new upstream license (Expat)
(see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876#20).
- Exclude prebuilt Windows binary from the source tree.
* Update licenses in debian/{boogie,bvd}.1.
* Change Priority to optional in debian/control.
* Upgrade to debhelper compat level 12.
* Update build dependencies (Closes: #927171).
* Upgrade to Standards-Version 4.4.1.
* Fix debian/rules to make the new version build.
* Enable autopkgtest package testing, and add mccarthy-{91,92} tests.
* Update Vcs-Git and Vcs-Browser fields in debian/control.
Checksums-Sha1:
0b8465d1635ef149e2ed5a6c3d4a11e433128d6d 1989 boogie_2.4.1+dfsg-0.1.dsc
4afce8c0fab76361d4cfc9086ca1a08a0e8db484 1165764 boogie_2.4.1+dfsg.orig.tar.xz
d96b8aeb91ad583e7ebb15401fb12791b42fad5b 9080
boogie_2.4.1+dfsg-0.1.debian.tar.xz
8e34dfe536a796ca022988b3f5e8c65f880de794 15782
boogie_2.4.1+dfsg-0.1_source.buildinfo
Checksums-Sha256:
1d5b6e8701b81ca1b22259daaa1b16728de18d5b99c7122c434fbc0d7765853c 1989
boogie_2.4.1+dfsg-0.1.dsc
863dbb07fa71e2fdc117f87dac8193dc438ef8aaa9940379e21738ef86c9f077 1165764
boogie_2.4.1+dfsg.orig.tar.xz
3cd9c617d78183b42bacc3a3e40c1c6bbf1eb8ff37d07aa0f84466410b2a4ea9 9080
boogie_2.4.1+dfsg-0.1.debian.tar.xz
f288a0df8f7b8728d0121b4979f47d802289c73586eeb27e96d88b86d854f768 15782
boogie_2.4.1+dfsg-0.1_source.buildinfo
Files:
88261ab4e426dbe3e65e78e950493e47 1989 cli-mono optional
boogie_2.4.1+dfsg-0.1.dsc
48ad137c9193ba3359f734f4310d3ffe 1165764 cli-mono optional
boogie_2.4.1+dfsg.orig.tar.xz
71e7c99e1268de6fee4c02632c1c1032 9080 cli-mono optional
boogie_2.4.1+dfsg-0.1.debian.tar.xz
ad2064b922416099516a45414cfaf39e 15782 cli-mono optional
boogie_2.4.1+dfsg-0.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl4GfBYACgkQ0Ot2KGX8
Xja1YQ//XRy4Ebr7ByY0iSN4U8Ng3QYJpxp3D8fWy6nWYL6iZMRAYhuIDNlJnyfv
NNlvht5mSsMeymlPjxphcYfoFxhYpiwIbT5lzqF+GuU4M3yb8tPlUfjn241+RNuh
lwVitify2WtV73XQhX27Z0qzW2oYWs//LchN/XWVEO86uGZG3EV0ioG6B6R8xmlg
zoBRf40YPnhOdoxvbeRjw3eVw68Gm4RyRarczIrgf6ITf06aOdwn6+vB16pkayro
uu3os1Oy6S/T+Jov66FcRYJRmKOl2eQc+f3J06D8Xn4ikIHhYqVUMtHyw1I3s7eH
s7gkzauVwgdb3xbE4nEEGs9+twVLeIAzDpHLVLPmSKNo5J6Cu0qfVECBNAByyOpf
Ln+/pg8Cowc+SkCN30du0HhkOAEg9Zq9+36rw80PObXz22kREv5Mp5JrpSqijhEg
XkoTVEddu2fPwd1JVIbzvVx4c4VnTh2KJDcuQcFCW7P2Oko2p10YjrcmC94t+MbX
18+naiazyZ6tnvJxFji1UfpNsZUJJF18iERX8ZzqTMQ5GcI+8zJ2PWQf1gj7nDcW
le2Q4bAi7xs2dqZSjvR7BexBe8KRUsCI1Xzu4ZZJ1uut9lGpSFGrAPA0XAEUlzEy
/N/a9WuL11cac7o9CphWQbXo47YF+ruZUptI/JWmELokpiRLsyQ=
=7IHD
-----END PGP SIGNATURE-----
--- End Message ---
