Packages for uploader matthew.fernandez@gmail.com
Older packages
| Package | Description | Version | Uploader | Needs a sponsor | Already in Debian |
|---|---|---|---|---|---|
| rumur | model checker for the Murphi language | 2025.01.05-1 (unstable) | Matthew Fernandez | No | Yes |
| Package | Description | Version | Uploader | Needs a sponsor | Already in Debian |
|---|---|---|---|---|---|
| rumur | model checker for the Murphi language | 2025.01.05-1 (unstable) | Matthew Fernandez | No | Yes |