Bug#1113910: RFS: rumur/2025.08.31-1 -- model checker for the Murphi language

[Matthew Fernandez <matthew.fernandez@gmail.com>]

Package: sponsorship-requests
Severity: normal

Dear mentors,

I am looking for a sponsor for my package "rumur":

* Package name : rumur
  Version : 2025.08.31-1
  Upstream contact : Matthew Fernandez <matthew.fernandez@gmail.com>
* 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_2025.08.31-1.dsc

Changes since the last upload:

 rumur (2025.08.31-1) unstable; urgency=medium
 .
   * New upstream release.
   * Update Standards-Version from 4.7.0 to 4.7.2.
   * Update CMake build requirement from 3.2 to 3.5. Closes: #1113481.

Regards,
Matt