GNU bug report logs - #52280
[PATCH] gnu: Add guile-smc

Previous Next

Package: guix-patches;

Reported by: poptsov.artyom <at> gmail.com (Artyom V. Poptsov)

Date: Sat, 4 Dec 2021 17:53:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

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 52280 in the body.
You can then email your comments to 52280 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#52280; Package guix-patches. (Sat, 04 Dec 2021 17:53:01 GMT) Full text and rfc822 format available.

Acknowledgement sent to poptsov.artyom <at> gmail.com (Artyom V. Poptsov):
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sat, 04 Dec 2021 17:53:01 GMT) Full text and rfc822 format available.

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

From: poptsov.artyom <at> gmail.com (Artyom V. Poptsov)
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add guile-smc
Date: Sat, 04 Dec 2021 20:52:12 +0300
[Message part 1 (text/plain, inline)]
Hello Guixers,

this patch adds Guile-SMC[1] -- the GNU Guile State Machine Compiler.

Thanks,

- Artyom

References:
1: https://github.com/artyom-poptsov/guile-smc

[0001-gnu-Add-guile-smc.patch (text/x-diff, attachment)]
[Message part 3 (text/plain, inline)]
-- 
Artyom "avp" Poptsov <poptsov.artyom <at> gmail.com>
Home page: https://memory-heap.org/~avp/
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F
[signature.asc (application/pgp-signature, inline)]

Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Sat, 04 Dec 2021 21:46:02 GMT) Full text and rfc822 format available.

Notification sent to poptsov.artyom <at> gmail.com (Artyom V. Poptsov):
bug acknowledged by developer. (Sat, 04 Dec 2021 21:46:02 GMT) Full text and rfc822 format available.

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: poptsov.artyom <at> gmail.com (Artyom V. Poptsov)
Cc: 52280-done <at> debbugs.gnu.org
Subject: Re: bug#52280: [PATCH] gnu: Add guile-smc
Date: Sat, 04 Dec 2021 22:45:15 +0100
[Message part 1 (text/plain, inline)]
Hello,

poptsov.artyom <at> gmail.com (Artyom V. Poptsov) skribis:

> From b3ad6d1c8973647a4dd2efedaa6d70957429f5e2 Mon Sep 17 00:00:00 2001
> From: "Artyom V. Poptsov" <poptsov.artyom <at> gmail.com>
> Date: Sat, 4 Dec 2021 20:40:46 +0300
> Subject: [PATCH] gnu: Add guile-smc
>
> * gnu/packages/guile-xyz.scm (guile-smc): New variable.

Applied with the changes below to placate ‘guix lint’.

Thanks!

Ludo’.

[Message part 2 (text/x-patch, inline)]
diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm
index 1b1acc637c..508b4b44d5 100644
--- a/gnu/packages/guile-xyz.scm
+++ b/gnu/packages/guile-xyz.scm
@@ -4929,11 +4929,11 @@ (define-public guile-smc
        ("guile-lib" ,guile-lib)
        ("inetutils" ,inetutils)))
     (home-page "https://github.com/artyom-poptsov/guile-smc")
-    (synopsis "GNU Guile state machine compiler.")
+    (synopsis "GNU Guile state machine compiler")
     (description
-     "Guile-SMC is a state machine compiler that allows to describe finite
-state machines (FSMs) in Scheme in terms of transition tables.  It is capable
-to generate such transition tables from a @url{https://plantuml.com/,
+     "Guile-SMC is a state machine compiler that allows users to describe
+finite state machines (FSMs) in Scheme in terms of transition tables.  It is
+capable to generate such transition tables from a @url{https://plantuml.com/,
 PlantUML} state diagrams.
 
 A transition table can be verified and checked for dead-ends and infinite

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 02 Jan 2022 12:24:10 GMT) Full text and rfc822 format available.

This bug report was last modified 2 years and 76 days ago.

Previous Next


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