[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: