Bug#903142: RFA: boogie -- verifiable programming language (compiler)

[Benjamin Barenblat <bbaren@debian.org>]

Package: wnpp
Severity: normal

I request an adopter for the boogie package.

The package description is:
 Boogie is a compiler intermediate language with support for automatic invariant
 checking using an SMT solver such as Z3.  It supports program verification for
 a variety of other, higher-level languages, including Spec\#, C, Dafny, and
 Chalice.
 .
 This package contains the Boogie compiler, as well as bvd, the Boogie
 Verification Debugger.

I'm no longer using Boogie, 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.