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.fernan...@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.fernan...@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
