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

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

Hello mentors,

I posted an RFS a little while ago, but didn’t realise I was allowed to deviate from the template and add a little “hot spice” as the FAQ suggests. With that in mind, here’s a snippet from my package’s d/control that may entice some potential sponsors:

Rumur is a model checker for use in the formal verification of finite state
machines specified in the Murphi modelling language. It is based on a previous
tool, CMurphi, and attempts to provide an approximate drop-in replacement for
CMurphi. In comparison to CMurphi, Rumur generates a verifier that runs significantly
faster and uses less memory on large input problems.

Any and all feedback welcome. Thank you for your time.

Matthew

> On Jan 18, 2019, at 18:43, Matthew Fernandez <matthew.fernandez@gmail.com> wrote:
> 
> 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