Your message dated Sun, 31 May 2020 12:18:52 +0300 with message-id <20200531091852.GA16323@localhost> and subject line Re: Bug#961883: RFS: rumur/2020.05.27-1 -- model checker for the Murphi language has caused the Debian Bug report #961883, regarding RFS: rumur/2020.05.27-1 -- 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 ow...@bugs.debian.org immediately.) -- 961883: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=961883 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name : rumur Version : 2020.05.27-1 Upstream Author : Matthew Fernandez <matthew.fernan...@gmail.com> * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/rumur.git Section : devel It builds those 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, one can download the package with dget using this command: dget -x https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2020.05.27-1.dsc Changes since the last upload: * New upstream release. Regards, Matthew
--- End Message ---
--- Begin Message ---On Sat, May 30, 2020 at 11:57:02AM -0700, Matthew Fernandez wrote: >... > Changes since the last upload: > > * New upstream release. Thanks, uploaded. > Regards, > Matthew cu Adrian
--- End Message ---
