Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language

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

Package: sponsorship-requests
Severity: important

Dear mentors,

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

* Package name : rumur
Version : 2022.08.20-1
Upstream Author : Matthew Fernandez <matthew.fernandez@gmail.com>
* URL : https://github.com/Smattr/rumur
* License : Unlicense
* Vcs : https://github.com/Smattr/rumur.git
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_2022.08.20-1.dsc

Changes since the last upload:

rumur (2022.08.20-1) unstable; urgency=medium
.
* New upstream release.
.
* Fix sandbox failures due to getrandom. Closes: #1017199.

Regards,
Matt