Bug#1092050: RFS: rumur/2025.01.04-1 -- model checker for the Murphi language

2025-01-04 Thread Phil Wyett
Control: tags -1 +moreinfo Matthew, Preamble... Thank you for taking the time to prepare this package and your contribution to the Debian project. This review is offered to help package submitters to Debian mentors inorder to improve their packages prior to possible sponsorship into Debian. The

Bug#1092050: RFS: rumur/2025.01.04-1 -- model checker for the Murphi language

2025-01-03 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2025.01.04-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/rum