Package: wnpp Severity: normal I request an adopter for the dafny package.
The package description is: Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones. I'm no longer using Dafny, so my motivation to keep it up-to-date has faded. If somebody else is interested in keeping it uploaded, they're welcome to do so.