Hello mentors, I posted an RFS a little while ago, but didn’t realise I was allowed to deviate from the template and add a little “hot spice” as the FAQ suggests. With that in mind, here’s a snippet from my package’s d/control that may entice some potential sponsors:
Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi. In comparison to CMurphi, Rumur generates a verifier that runs significantly faster and uses less memory on large input problems. Any and all feedback welcome. Thank you for your time. Matthew > On Jan 18, 2019, at 18:43, 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 : 2019.01.12-1 > Upstream Author : Matthew Fernandez <matthew.fernan...@gmail.com> > * URL : https://github.com/Smattr/rumur > * License : The Unlicense > 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_2019.01.12-1.dsc > > More information about rumur can be obtained from > https://github.com/Smattr/rumur. > > Changes since the last upload: > > Initial release. Closes #919220. > > > Regards, > Matthew Fernandez
