[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#72393] [PATCH v2 08/10] gnu: Add python-pyformlang.
From: |
soeren |
Subject: |
[bug#72393] [PATCH v2 08/10] gnu: Add python-pyformlang. |
Date: |
Fri, 27 Sep 2024 20:35:01 +0200 |
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 d34009abc7..b07cb6c409 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -23859,6 +23859,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")
- [bug#72393] [PATCH v2 01/10] gnu: python-ailment: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 04/10] gnu: python-archinfo: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 05/10] gnu: Add python-cart., soeren, 2024/09/27
- [bug#72393] [PATCH v2 10/10] gnu: python-angr: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 06/10] gnu: python-cle: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 03/10] gnu: Add python-backports-strenum., soeren, 2024/09/27
- [bug#72393] [PATCH v2 02/10] gnu: python-pyvex: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 07/10] gnu: python-claripy: Update to 9.2.112., soeren, 2024/09/27
- [bug#72393] [PATCH v2 08/10] gnu: Add python-pyformlang.,
soeren <=
- [bug#72393] [PATCH v2 09/10] gnu: Add python-unique-log-filter., soeren, 2024/09/27