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 "