GNU bug report logs - #27874
add cubicle

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Sun, 30 Jul 2017 08:45:01 UTC

Severity: normal

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 27874 in the body.
You can then email your comments to 27874 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#27874; Package guix-patches. (Sun, 30 Jul 2017 08:45:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to Julien Lepiller <julien <at> lepiller.eu>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sun, 30 Jul 2017 08:45:01 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: add cubicle
Date: Sun, 30 Jul 2017 10:43:12 +0200

[Message part 1 (text/plain, inline)]
Hi, here is a patch to add cubicle, a model checker.
[0001-gnu-Add-cubicle.patch (text/x-patch, attachment)]
Reply sent to Julien Lepiller <julien <at> lepiller.eu>:
You have taken responsibility. (Sat, 05 Aug 2017 08:15:02 GMT) Full text and rfc822 format available.
Notification sent to Julien Lepiller <julien <at> lepiller.eu>:
bug acknowledged by developer. (Sat, 05 Aug 2017 08:15:02 GMT) Full text and rfc822 format available.

Message #10 received at 27874-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: 27874-done <at> debbugs.gnu.org
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 <julien <at> lepiller.eu> a écrit :

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

Pushed as 3d5d87a3ae4a3320bb909265ac4d2739e206dfdd.
Information forwarded to guix-patches <at> gnu.org:
bug#27874; Package guix-patches. (Sat, 05 Aug 2017 21:25:02 GMT) Full text and rfc822 format available.

Message #13 received at 27874 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: 27874 <at> debbugs.gnu.org
Cc: julien <at> lepiller.eu
Subject: Re: bug#27874: add cubicle
Date: Sat, 05 Aug 2017 23:24:29 +0200

Julien Lepiller <julien <at> lepiller.eu> skribis:

> Le Sun, 30 Jul 2017 10:43:12 +0200,
> Julien Lepiller <julien <at> lepiller.eu> 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’.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 03 Sep 2017 11:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 7 years and 296 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.