Re: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

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

Adam, did my last comment on #951497 make sense? Just wanted to check you’re not waiting on more information from me.

> On Feb 18, 2020, at 20:49, 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.02.17-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.02.17-1.dsc
> 
> Changes since the last upload:
> 
>   * New upstream release.
> .
>   * The installed binary that was previously called rumur-ast-dump is now called
>     murphi2xml, due to an upstream change.
> .
>   * Update autopkgtest tests to now reference murphi2xml instead of
>     rumur-ast-dump.
> .
>   * The build test suite now runs single threaded, due to an upstream change,
>     partially addressing #951497.
> .
>   * Correct watch file to only scan for upstream releases, instead of also
>     matching Debian tags.
> 
> Regards,
> Matthew