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

Bug#948927: marked as done (RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC])

Your message dated Tue, 14 Jan 2020 21:52:39 -0500
with message-id <87d0bl1le0.fsf@paluero>
and subject line Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]
has caused the Debian Bug report #948927,
regarding RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [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.)


-- 
948927: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948927
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: bbaren@mit.edu, sergiodj@debian.org

Dear mentors,

I am looking for a sponsor for an upload of the 'dafny' package.

There have been new upstream releases, I have fixed the two open RC
bugs for this package, enabled autopkgtest package testing, and
performed some additional package maintenance tasks.

I have created a Git repository for this package, but I think it
would be best to maintain this repository in the Debian group on
Salsa, so whoever sponsors this package: Please also create the
repository that the Vcs-{Git,Browser} fields point to and give me
"Maintainer" access to it, so that I can push to it.

My changes are on Mentors and in a (temporary) repository on Salsa:

  https://mentors.debian.net/package/dafny
  https://salsa.debian.org/wolff-guest/dafny

The current maintainer has not made an upload for this package in
over three years, has not fixed the open RC bugs, is looking for
somebody to adopt the package and did not object to an NMU for a
related package, so I think this NMU should be fine:

  https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876#10

Still, I have added him in the X-Debbugs-CC header to let him know
what's going on.


Thanks for your help!

Fabian

--- End Message ---
--- Begin Message --- 
owner 948927 !
thanks

On Tuesday, January 14 2020, Fabian Wolff wrote:

> Dear mentors,
>
> I am looking for a sponsor for an upload of the 'dafny' package.
>
> There have been new upstream releases, I have fixed the two open RC
> bugs for this package, enabled autopkgtest package testing, and
> performed some additional package maintenance tasks.
>
> I have created a Git repository for this package, but I think it
> would be best to maintain this repository in the Debian group on
> Salsa, so whoever sponsors this package: Please also create the
> repository that the Vcs-{Git,Browser} fields point to and give me
> "Maintainer" access to it, so that I can push to it.
>
> My changes are on Mentors and in a (temporary) repository on Salsa:
>
>   https://mentors.debian.net/package/dafny
>   https://salsa.debian.org/wolff-guest/dafny
>
> The current maintainer has not made an upload for this package in
> over three years, has not fixed the open RC bugs, is looking for
> somebody to adopt the package and did not object to an NMU for a
> related package, so I think this NMU should be fine:
>
>   https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944876#10
>
> Still, I have added him in the X-Debbugs-CC header to let him know
> what's going on.

Hey Fabian,

Thanks for the work on this package!  I won't pretend to know every
detail of it, but after some review I'm quite happy with what I saw.
There's one minor lintian warning which is similar to the one we faced
with boogie:

  W: dafny source: source-contains-prebuilt-windows-binary Test/dafny0/ExternHelloLibrary.dll

I know this binary is part of the testsuite, so I went ahead and
uploaded the package to DELAYED-5.  Please, remember to remove this file
from the package when/if you prepare the next release :-).

Oh, I've also created the debian/dafny repo and put you as the
Maintainer.

Cheers,

-- 
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF  31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/

Attachment: signature.asc
Description: PGP signature


--- End Message ---
Reply to: