Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]

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

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