Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Control: tags -1 moreinfo Tagging moreinfo as currently not actionable (needs an update from Fabian)
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.
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 > #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. -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAl31L2UACgkQ5ZUVm53A 7cO0KQ/+Mms5/suIeB9RC1b7qevboygnTjh5q4jdxnsvwSAN8/e20K3WR1i6MBJm tP3SMtevHSH5c4h94/EpF0tg2RrJ4kZ5C8jTHN1AtSBsyuIS7bX8VgFADjKN+zKv apnBCusH5DyUaWS4x6qO9tIBIl+r/oqmVjxbOu3OEwb1AQ7XVVq03yVHzo14RhTY RK704x4h/5AtiY9YQCK/+5GUw51ZJfQwHevUpfYFe9AMDXGOO/NrUyeciCNTJ0Ue sm/YMgF7EV13+QMB1sr5WKcJnsv4WagaRIX2SXUawDKHzayHyqiU66Q3JZgV10gE keLASKx0RxQ+bX/EjZVhAOPlWjV5lIocq+Gwh7bSFVwuBBiudivXTUg1/ahwo4wx 466MrwUHskXy5LBGhmDo4K9fSZYhHAbO7Ou5i+qOT7OWoA/zHQ1rlI1U7nXo8h1n mFcWuuN7vP2Bwo3HG5oJCwiX6003BGvYFN0DDOfRuaeFtvLPh4l9Z6w6zPGOOtjY BYq7h9VS04HQk0i3qIUyGUfhqg50knlSOoVU9jQO3DcS1rbmd5WDepFtUbDLywNp VbfbxOWN02Am9/m2059X9wQBVmIsSjugPvBwiUNgaWAUgcLryHKSBwZJXGGsUj1B 66SKnRNNSzE+z9E5dUuaqIeU1V7wjL/3rhmEbi2nSDIL3vxX7Jc= =FvnM -END PGP SIGNATURE-
Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
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!
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.
Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Package: sponsorship-requests Severity: normal X-Debbugs-CC: bba...@mit.edu Dear mentors, I am looking for a sponsor for an upload of the 'boogie' package. My changes are summarized in the latest changelog entry: boogie (2.4.1-0.1) unstable; urgency=medium * Non-maintainer upload. * New upstream release. * Update debian/watch file. * Update debian/copyright. * 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. -- Fabian Wolff Sat, 16 Nov 2019 19:16:48 +0100 The current maintainer is looking for someone to adopt the package (#903142) and has not made any attempt to keep the package in shape even after it had been removed from testing, so I don't think he will object to this NMU. But I have added him in the X-Debbugs-CC header just to be sure. The Git repository that the Vcs-Git and Vcs-Browser fields point to does not exist yet, but I've already sent a request on debian-mentors for someone to create it for me and give me access to it. Once this has happened, I will push my changes there; in the meantime, the package can be found here: https://salsa.debian.org/wolff-guest/boogie And also on Mentors: https://mentors.debian.net/package/boogie Thank you for your help! Best regards, Fabian