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
