Re: Bug#963273: RFS: rumur/2020.06.20-1 -- model checker for the Murphi language
Re-sending to check if anyone is willing to sponsor this one? It’s a pretty straightforward update to the package, so hopefully should not be controversial. Any help would be greatly appreciated.
> On Jun 21, 2020, at 12:02, 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 : 2020.06.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
>
> 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.06.20-1.dsc
>
> Changes since the last upload:
>
> * New upstream release.
>
> Regards,
> Matt
Reply to: