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-----
Reply to: