Bug#951628: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language
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
Reply to: