GNU bug report logs -
#52280
[PATCH] gnu: Add guile-smc
Previous Next
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.
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):
[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):
[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.