[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#944876: marked as done (RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC])

Your message dated Sun, 5 Jan 2020 18:35:43 +0100
with message-id <99529bb8-6306-c113-c812-ab53e1916de0@arcor.de>
and subject line Re: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
has caused the Debian Bug report #944876,
regarding RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
944876: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
On Thu, 02 Jan 2020 12:39:57 +0100 Tobias Frost <tobi@debian.org> wrote:
> Control: tags -1 moreinfo
> 
> Tagging moreinfo as currently not actionable (needs an update from
> Fabian)

I have actually already found a sponsor and the package has been uploaded;
the bug just hasn't been closed yet.

Sorry for the confusion!

--- End Message ---
Reply to: