Accepted boogie 2.4.1+dfsg-0.1 (source) into unstable
-----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 <bbaren@mit.edu>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
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-----