Re: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

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

On Mon, 2 Mar 2020 at 07:38, Adam Borowski <kilobyte@angband.pl> wrote:

On Mon, Mar 02, 2020 at 07:29:54AM -0800, Matthew Fernandez wrote:
> Adam, did my last comment on #951497 make sense?  Just wanted to check
> you’re not waiting on more information from me.
>
> > On Feb 18, 2020, at 20:49, Matthew Fernandez <matthew.fernandez@gmail.com> wrote:
> > * Package name    : rumur
> >   Version         : 2020.02.17-1

Version 2020.02.17-1 is already in unstable, is there anything more to do?

Sorry I replied to the wrong RFS message. I meant to refer to 2020.01.27-2, bug #951881.