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,
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (0 / 16) |
Uptime: | 170:38:48 |
Calls: | 10,385 |
Calls today: | 2 |
Files: | 14,057 |
Messages: | 6,416,559 |