Package: sponsorship-requests
Severity: normal
Dear mentors,
I am looking for a sponsor for my package "rumur":
* Package name : rumur
Version : 2026.03.11-1
Upstream contact : Matthew Fernandez <[email protected]>
* URL : https://github.com/Smattr/rumur
* License : Unlicense
* Vcs : https://github.com/Smattr/rumur/tree/packaging/debian
Section : devel
The source builds the following binary packages:
rumur - model checker for the Murphi language
To access further information about this package, please visit the
following URL:
https://mentors.debian.net/package/rumur/
Alternatively, you can download the package with 'dget' using this command:
dget -x
https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2026.03.11-1.dsc
Changes since the last upload:
rumur (2026.03.11-1) unstable; urgency=medium
.
* New upstream release.
* Fix build failure on arm64 with THP. Closes: #1128916.
* Update Standards-Version from 4.7.2 to 4.7.3.
* No longer set Rules-Requires-Root.
* Update watch file from version 4 to version 5.
Regards,
Matt
