• Re: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murph

    From Phil Wyett@21:1/5 to Matthew Fernandez on Fri Jun 14 11:10:01 2024
    On Fri, 2024-06-14 at 18:57 +1000, Matthew Fernandez wrote:
    A gentle bump to see if anyone might have time to sponsor this one?

    On 5/19/24 14:58, Matthew Fernandez wrote:
    Package: sponsorship-requests
    Severity: normal

    Dear mentors,

    I am looking for a sponsor for my package "rumur":

    * Package name : rumur
    Version : 2024.05.07-1
    Upstream contact : Matthew Fernandez <matthew.fernandez@gmail.com>
    * URL : https://github.com/Smattr/rumur
    * License : Unlicense
    * Vcs : https://github.com/Smattr/rumur/tree/packaging/debian
    Section : devel

    The source builds the following 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, you can download the package with 'dget' using this command:

    dget -x https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2024.05.07-1.dsc

    Changes since the last upload:

    rumur (2024.05.07-1) unstable; urgency=medium
    .
    * New upstream release.
    * Fix inaccurate libatomic checks in autopkgtests. Closes: #1018205.
    * Fix Vcs-Browser URL. Closes: #1018202.
    * Update debian-compat Build-Depends from 12 to 13.

    Regards,

    Hi Matthew,

    You have not toggle the requiring 'Needs a sponsor' button on your packages mentors page, which maybe the reason it hasn't had any eyes on it as yet.

    Regards

    Phil

    --

    Website: https://kathenas.org

    Instagram: https://instagram.com/kathenasorg/

    Buy Me A Coffee: https://buymeacoffee.com/kathenasorg

    -----BEGIN PGP SIGNATURE-----

    iQJOBAABCgA4FiEEcKCsRax3nv6E9jrtckqptS8CTIsFAmZsCBMaHHBoaWxpcC53 eWV0dEBrYXRoZW5hcy5vcmcACgkQckqptS8CTItrsA/8CvAWf//kKMSSxXI87JUg zYpC1gHaqTpXghyI5s/GAr5IYbX3ssY5Wgq8o94aEEJkyZJ9f0X8IcoxKEXGuuPQ ARiolQtC8ByjSZ+0TD6yiyaWoIVoTXKZdGPzmnmYcU0SC89CQ1BtaBYjO0xgavQO gm2dWbozOJYVhMMpVoAvBwoxhUUrUP5+Kx8Qf27TiKPEk6vwqJqA9P5Q0Lwoq1d9 qG8lSJVR4zdQCb/XmK23C8XeRZ29JcQMspVvjBL/+Coo6W6DUyXwb3uFdIOqMiMZ i/9TeLY72l7VsncKp9a77HEJNvLTQFgALAQefTbXqt00If2cnOvL/DC3h3abrGcW iw78YhKM8LSK4RCyEmTDC0IBi1pmbLtPUnX+EWQSQIgNd9qY3BjQydVjRaUnNued p88uXJ1FHgxeseasnz2f2sOIAIPUWhePqUZclj6ofTney+kIBcZA694wSLBFwttr IpX5pR3sI4cOyg50CCrxLGlWw3tZjm75QKaWhENzbjZ2PD0ECBgEq43L7EiHOhlA LKfJsbVikQaWMqdS9fVjg+RfnwKqkgty+SjPsNlrEnditrSBt5oqqElW46vakleu o9mH2gWOrMwe7knQw4kPfvdZY2yA11YQiSPPK4Kr8bubt6dOEg7EFmOp6kvIz9Xr lB8AJPUP1MUsT1/oTDAwRU8=
    =I93P
    -----END PGP SIGNATU