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

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

Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: bbaren@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 <fabi.wolff@arcor.de>  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