Subject: [bug#27874] add cubicle

From: [email-masked] (Ludovic Courtès)
Date: Sat, 05 Aug 2017 23:24:29 +0200

Julien Lepiller <[email-masked]> skribis:

> Le Sun, 30 Jul 2017 10:43:12 +0200,
> Julien Lepiller <[email-masked]> a écrit :
>
>> Hi, here is a patch to add cubicle, a model checker.
>
> Pushed as 3d5d87a3ae4a3320bb909265ac4d2739e206dfdd.

Please remove “open source” from the description.  :-)

Thanks for this patch!

Ludo’.