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

2020-03-02 Thread Matthew Fernandez
On Mon, 2 Mar 2020 at 07:38, Adam Borowski 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 Fernan

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

2020-03-02 Thread Adam Borowski
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 > > wrote: > > * Package name: rumur > > Version

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

2020-03-02 Thread Matthew Fernandez
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 > wrote: > > Package: sponsorship-requests > Severity: normal > > Dear mentors, > > I am looking for a sponsor for my package "

Bug#951628: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language

2020-02-18 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.02.17-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * V