Your message dated Sat, 22 Jul 2023 14:38:58 +0200 with message-id <2d5b2b29-9fa6-3194-17f9-db76da37928d@debian.org> and subject line Re: RFS: rumur/2023.05.21-1 [RC] -- model checker for the Murphi language has caused the Debian Bug report #1041679, regarding RFS: rumur/2023.05.21-1 [RC] -- model checker for the Murphi language to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 1041679: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041679 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: RFS: rumur/2023.05.21-1 [RC] -- model checker for the Murphi language
- From: Matthew Fernandez <matthew.fernandez@gmail.com>
- Date: Sat, 22 Jul 2023 12:03:41 +1000
- Message-id: <[🔎] 236eab97-12b6-98b7-f198-a4e06030f7bf@gmail.com>
Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2023.05.21-1 Upstream contact : Matthew Fernandez <matthew.fernandez@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 languageTo 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.05.21-1.dscChanges since the last upload: rumur (2023.05.21-1) unstable; urgency=medium
--- End Message ---