Bug#919743: RFS: rumur/2019.01.12-1 [ITP]

[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         : 2019.01.12-1
  Upstream Author : Matthew Fernandez <matthew.fernandez@gmail.com>
* URL             : https://github.com/Smattr/rumur
* License         : The Unlicense
  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_2019.01.12-1.dsc

More information about rumur can be obtained from https://github.com/Smattr/rumur.

Changes since the last upload:

 Initial release. Closes #919220.


Regards,
 Matthew Fernandez