Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
On Sat, Dec 14, 2019 at 01:52:21PM -0500, Benjamin Barenblat wrote:
> 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
> > #944876, I'd simply change the license to Expat in debian/copyright.
>
> That’s completely fine. I hereby relicense my work in that package under
> the Expat license.
>
> I’d appreciate it if you’d be willing to update the copyright headers in
> the relevant files when you switch the license.
Fabian: I assume you'll be making a new upload to mentors. If so, please
axe prebuilt Windows code from the tarball.
Meow!
--
⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol,
⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month.
⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake,
⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
Reply to: