Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Re: RFS: rumur/2023.11.27-1 -- model checker for the Murphi language

0 views
Skip to first unread message

Matthew Fernandez

unread,
Jan 28, 2024, 12:10:03 AMJan 28
to
Just a gentle bump to see if anyone has time to take a look at this RFS?

On 12/10/23 12:17, Matthew Fernandez wrote:
> Package: sponsorship-requests
> Severity: normal
>
> Dear mentors,
>
> I am looking for a sponsor for my package "rumur":
>
> * Package name : rumur
> Version : 2023.11.27-1
> Upstream contact : Matthew Fernandez <matthew....@gmail.com>
> * URL : https://github.com/Smattr/rumur
> * License : Unlicense
> * Vcs : https://github.com/Smattr/rumur.git
> 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_2023.11.27-1.dsc
>
> Changes since the last upload:
>
> rumur (2023.11.27-1) unstable; urgency=medium
> .
> * New upstream release.
>
> Regards,
> Matt
0 new messages