Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Tuesday, December 10, 2019, at 6:33 PM +0100, Fabian Wolff wrote: > Would you be willing to relicense your work on the Boogie Debian package > under the > Expat license? If so, and with your consent documented here in the bug > tracker for > #9

Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]

As the current maintainer, I definitely do not object to this NMU (or any other NMUs associated with this package). Sponsors, please feel free to upload without delay.