WNPP Bugs -- Debian Quality Assurance

WNPP bugs submitted by bbaren@mit.edu

#857108: RFP: html-minifier -- HTML compressor/minifier (3121 day(s) old)
#866334: RFP: lean -- theorem prover from Microsoft Research (3009 day(s) old)

WNPP bugs owned by bbaren@mit.edu

None

Maintainer page