|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#27874: closed (add cubicle) |
Date: | Sat, 05 Aug 2017 08:15:02 +0000 |
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |