Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language

2025-01-05 Thread Matthew Fernandez
Thanks, Phil. On 1/5/25 22:19, Phil Wyett wrote: I hope you will look at the build path lintian issues in the future. By this, you mean the override or the filemangle/uscan ones? The former is intentional; I believe this is the correct situation. The latter ones I thought were experimental s

Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language

2025-01-05 Thread Phil Wyett
Control: tags -1 +confirmed 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. Th

Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language

2025-01-04 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.05-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/rum