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

2020-01-02 Thread Tobias Frost
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]

2019-12-14 Thread Adam Borowski
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

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

2019-12-14 Thread Benjamin Barenblat
-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 >

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

2019-12-10 Thread Fabian Wolff
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")

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

2019-11-24 Thread Benjamin Barenblat
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]

2019-11-16 Thread Fabian Wolff
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. *