Bug#950124: RFS: rumur/2020.01.27-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         : 2020.01.27-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

It builds those 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, one can download the package with dget using this command:

  dget -x https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2020.01.27-1.dsc

Changes since the last upload:

   * New upstream release.
.
   * Add strace as a build dependency.
.
   * Update Standards-Version from 4.4.1 to 4.5.0.
.
   * Some robustness improvements to the autopkgtests.
.
   * RUMUR_VERSION variable in rules is now set automatically from the changelog
     using pkg-info.mk support.

Regards,
Matthew