WNPP bugs submitted by bbaren@debian.org
- #903142: RFA: boogie -- verifiable programming language (compiler) (2131 day(s) old)
- #903143: RFA: dafny -- programming language with program correctness verifier (2131 day(s) old)
- #963767: RFP: mathjax-node-page -- filter for server-side MathJax rendering (1410 day(s) old)
WNPP bugs owned by bbaren@debian.org
- None