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

[Fabian Wolff <fabi.wolff@arcor.de>]

On 11/24/19 7:13 PM, Benjamin Barenblat wrote:
> 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.

Thanks. One more question: Upstream has switched to the Expat ("MIT/X11") license
for the Boogie code; I think it would make things much simpler and straightforward
if we could use the same license for the debian/* files as well.

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
#944876, I'd simply change the license to Expat in debian/copyright. What do you
think?

Thanks for your help!