[debbugs-tracker] bug#27874: closed (add cubicle)

[GNU bug Tracking System]

Your message dated Sat, 5 Aug 2017 10:13:22 +0200
with message-id <address@hidden>
and subject line Re: [bug#27874] add cubicle
has caused the debbugs.gnu.org bug report #27874,
regarding add cubicle
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
27874: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27874
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: add cubicle Date: Sun, 30 Jul 2017 10:43:12 +0200

Hi, here is a patch to add cubicle, a model checker.

0001-gnu-Add-cubicle.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#27874] add cubicle
>
>
>
>
> Date: 
>
> Sat, 5 Aug 2017 10:13:22 +0200
>
>
>
>
> Le Sun, 30 Jul 2017 10:43:12 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
> > Hi, here is a patch to add cubicle, a model checker.
>
> Pushed as 3d5d87a3ae4a3320bb909265ac4d2739e206dfdd.
>
>
> --- End Message ---