Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

[Matthew Fernandez <matthew.fernandez@gmail.com>]

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,
--
  Matthew Fernandez