Your message dated Fri, 13 Sep 2019 10:04:07 +0000 with message-id <[email protected]> and subject line Bug#919220: fixed in rumur 2019.02.04-1 has caused the Debian Bug report #919220, regarding ITP: rumur -- 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 [email protected] immediately.) -- 919220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919220 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: wnpp Severity: wishlist Owner: Matthew Fernandez <[email protected]> * Package name : rumur Version : 2019.01.12 Upstream Author : Matthew Fernandez <[email protected]> * URL : https://github.com/Smattr/rumur * License : The Unlicense Programming Lang: C, C++, Python Description : model checker for the Murphi language Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi. Rumur works by reading an input file describing a collection of state variables and transition rules, from which it generates a C program to verify safety and security properties of this state machine. The generated verifier works by exhaustively exploring the state space, checking for violation of invariants or deadlocks. In comparison to CMurphi, Rumur generates a verifier that runs significantly faster and uses less memory on large input problems. The Murphi modelling language has been used extensively for hardware verification, in particular for analysing cache coherence protocols. Rumur is able to improve existing users’ work flow by decreasing the time to check these models. I am not aware of any other Debian packages that provide this functionality; existing CMurphi users generally build the tool from source. I am the sole developer and maintainer of this tool and intend to be its Debian maintainer as well. I have not packaged or maintained a tool for Debian before, so I am looking for a sponsor.
--- End Message ---
--- Begin Message ---Source: rumur Source-Version: 2019.02.04-1 We believe that the bug you reported is fixed in the latest version of rumur, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Matthew Fernandez <[email protected]> (supplier of updated rumur package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 4 Feb 2019 18:46:36 -0800 Source: rumur Binary: rumur rumur-dbgsym Architecture: source amd64 Version: 2019.02.04-1 Distribution: unstable Urgency: medium Maintainer: Matthew Fernandez <[email protected]> Changed-By: Matthew Fernandez <[email protected]> Description: rumur - model checker for the Murphi language Closes: 919220 Changes: rumur (2019.02.04-1) unstable; urgency=medium . * Initial release. Closes: #919220. Checksums-Sha1: d448ec7661a6248c69bc9b695cdd918fc0cafd1c 1954 rumur_2019.02.04-1.dsc 5165e25379b1a61cdd6eda80569f0c1ad7573f5a 116580 rumur_2019.02.04.orig.tar.gz 9c288184b727a56a9289bc12dd9269d29be925d3 2636 rumur_2019.02.04-1.debian.tar.xz d17c64db6fa5316a11d6a38a5ee8ab7158e68384 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb 768f240bb69e501b07a4d89a8039416eecb05ebc 7063 rumur_2019.02.04-1_amd64.buildinfo 8e6eab37d295c4097be167ecf9300812c4de3f32 457784 rumur_2019.02.04-1_amd64.deb Checksums-Sha256: 797e793d2e4ac072f234a613aad5403149833d657ccc3ef540c4524157334314 1954 rumur_2019.02.04-1.dsc 28ee42bae0d96041f69f4245cd5c4d063d763f0cac9c6481ebd070b77f58328f 116580 rumur_2019.02.04.orig.tar.gz a4f229208b28480b19551e0ee744c026cc5a5097cfbe28ad5f48fed74d0d354e 2636 rumur_2019.02.04-1.debian.tar.xz 50c0d8988325f99aaeb16fb3264be5ca891636ef2f54b9856fc74008f0686b15 6188588 rumur-dbgsym_2019.02.04-1_amd64.deb 6859959a74a3a6f0e72ae22aae668cca899e8fbb2d543e2e8f9ef7f5563c68ba 7063 rumur_2019.02.04-1_amd64.buildinfo b193c3e751074ad049f3eb7bfbfb63814adc849fce27bc6142e7264682dc65c2 457784 rumur_2019.02.04-1_amd64.deb Files: ba40fe957b87dfacbc58354d75cd7399 1954 devel optional rumur_2019.02.04-1.dsc f148439bd3cf147e8d243e09e6763f1a 116580 devel optional rumur_2019.02.04.orig.tar.gz fb7ab922f62ebadf04571095643612d1 2636 devel optional rumur_2019.02.04-1.debian.tar.xz 8e9e83d23efab70cae156e68bce58a56 6188588 debug optional rumur-dbgsym_2019.02.04-1_amd64.deb bb97f9d4cdad7605c00e5061166c1f8f 7063 devel optional rumur_2019.02.04-1_amd64.buildinfo 64edb2b8660a5a639466608608af6f6f 457784 devel optional rumur_2019.02.04-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEExyA8CpIGcL+U8AuxsB0acqyNyaEFAlxb31kPHGpjY0BkZWJp YW4ub3JnAAoJELAdGnKsjcmh5sUP/i91y4XA8Eo2jeKVwJJCW2jg/5pIGCky+vWY o0Y9K/nK85zi5f8TSuWlzNb8hIiAoTIhqr/3sAYOzCplOQXgUJ7OenQ7HQR3AYSz 1qe70u50MxDJDrIUqtzxZkBxVHa/wsTPtqRIjScWMSTiJf1L/bBWeVOxieDLoc8M dbJPX/edQzSPAAyBXxQ4/CMd+2DXpZ2sgxQsJYMF9dedQ2YkjIZnFhq++M6FCObc Wrzo86WRwds5SORq8JlTrH+XeIPQ+7qTcTOsFug/3jJg4Zun06TKAOq8c6oEy0Fv Kdfa2mHcW56RDsqB31VxIJDd6Drf9mfn4Skulidc3l8ad/Ls1RtI+h0aw1+jwNz7 HE+Ogwycx07MNoL10PwL//mjKi69C7vOqETNpg6pcWpR+LqC/k+dUlXeYLk42NkR eFEZCoRlZAS8+9J1SObL+jO7UQdnZXrAg3qVfVnSXSvyWUcvmqhX0/i6LVmPlAkd hEfVTLFPwqymyGU5Idvh0tmgzEVNynFXZo3z2GPeidqlEiddZAOIA1SGjnw6dyuk MtAlzH88acxZEnQ22ypSm/5diOqpWQmbtva9RnjH7Lxm7VLBfeYhZHUj5WIfIhsm qzoT507cJcxHzy2aZZcNzhxHjhrRiaupIxGcngB5ypjFiQUqiDVqTxVP/g7EUCGn ehxqjqyb =5tnl -----END PGP SIGNATURE-----
--- End Message ---
