From: soeren@soeren-tempel.net
To: 72393@debbugs.gnu.org
Cc: Lars-Dominik Braun <lars@6xq.net>, Marius Bakke <marius@gnu.org>,
Munyoki Kilyungi <me@bonfacemunyoki.com>,
Sharlatan Hellseher <sharlatanus@gmail.com>,
Tanguy Le Carrour <tanguy@bioneland.org>,
jgart <jgart@dismail.de>
Subject: [bug#72393] [PATCH 08/10] gnu: Add python-pyformlang.
Date: Wed, 31 Jul 2024 10:11:28 +0200 [thread overview]
Message-ID: <fc68670a6efdf217add9a8838b323e94eed68345.1722412559.git.soeren@soeren-tempel.net> (raw)
In-Reply-To: <cover.1722412559.git.soeren@soeren-tempel.net>
From: Sören Tempel <soeren@soeren-tempel.net>
* gnu/packages/python-xyz.scm (python-pyformlang): New variable.
---
gnu/packages/python-xyz.scm | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index eefb3f2449..d253817748 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -23796,6 +23796,27 @@ (define-public python-pypeg2
parse many formal languages.")
(license license:gpl2)))
+(define-public python-pyformlang
+ (package
+ (name "python-pyformlang")
+ (version "1.0.10")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (pypi-uri "pyformlang" version))
+ (sha256
+ (base32 "0szgy4pqfixmswjs37qgma4qa3bsadpp3l1xflrpfi10aa8hh2sp"))))
+ (build-system pyproject-build-system)
+ (propagated-inputs (list python-networkx python-numpy python-pydot))
+ (home-page "https://github.com/Aunsiels/pyformlang")
+ (synopsis "Framework for interacting with formal grammars")
+ (description
+ "This package provides a framework for working with formal
+language grammars. The library was originally developed for educational
+purposes and therefore implements many textbook algorithms regarding the
+manipulation and interaction with formal grammars.")
+ (license license:expat)))
+
(define-public python-incremental
(package
(name "python-incremental")
next prev parent reply other threads:[~2024-07-31 8:13 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-07-31 7:59 [bug#72393] [PATCH 00/10] gnu: python-angr: Update to 9.2.112 soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 01/10] gnu: python-ailment: " soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 02/10] gnu: python-pyvex: " soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 03/10] gnu: Add python-backports-strenum soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 04/10] gnu: python-archinfo: Update to 9.2.112 soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 05/10] gnu: Add python-cart soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 06/10] gnu: python-cle: Update to 9.2.112 soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 07/10] gnu: python-claripy: " soeren
2024-07-31 8:11 ` soeren [this message]
2024-07-31 8:11 ` [bug#72393] [PATCH 09/10] gnu: Add python-unique-log-filter soeren
2024-07-31 8:11 ` [bug#72393] [PATCH 10/10] gnu: python-angr: Update to 9.2.112 soeren
2024-09-15 10:26 ` [bug#72393] [PATCH 00/10] " Sören Tempel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=fc68670a6efdf217add9a8838b323e94eed68345.1722412559.git.soeren@soeren-tempel.net \
--to=soeren@soeren-tempel.net \
--cc=72393@debbugs.gnu.org \
--cc=jgart@dismail.de \
--cc=lars@6xq.net \
--cc=marius@gnu.org \
--cc=me@bonfacemunyoki.com \
--cc=sharlatanus@gmail.com \
--cc=tanguy@bioneland.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.