WNPP Bugs -- Debian Quality Assurance

WNPP bugs submitted by mt@debian.org

#789055: RFP: stp -- simple theorem prover SMT solver (3590 day(s) old)
#789059: RFP: infer -- static analyzer for Java, C and Objective-C (3590 day(s) old)

WNPP bugs owned by mt@debian.org

None

Maintainer page