GNU bug report logs - #72393
[PATCH 00/10] gnu: python-angr: Update to 9.2.112.

Previous Next

Full log

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

From: soeren <at> soeren-tempel.net
To: 72393 <at> debbugs.gnu.org
Subject: [PATCH 08/10] gnu: Add python-pyformlang.
Date: Wed, 31 Jul 2024 10:11:28 +0200

From: Sören Tempel <soeren <at> 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")

Previous Next

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