QA
Skip Quicknav
About Debian
Getting Debian
Support
Developers' Corner
Debian Quality Assurance
WNPP bugs submitted by matthew.fernandez@gmail.com
#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
(28 day(s) old)
WNPP bugs owned by matthew.fernandez@gmail.com
None
Maintainer page