Re: RFS: rumur/2020.02.17-1 -- model checker for the Murphi language
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?
Meow.
--
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ in the beginning was the boot and root floppies and they were good.
⢿⡄⠘⠷⠚⠋⠀ -- <willmore> on #linux-sunxi
⠈⠳⣄⠀⠀⠀⠀
Reply to: