From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id eG5nBz3yqWbauwAA62LTzQ:P1 (envelope-from ) for ; Wed, 31 Jul 2024 08:13:49 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id eG5nBz3yqWbauwAA62LTzQ (envelope-from ) for ; Wed, 31 Jul 2024 10:13:49 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=U5EmEYsW; dkim=fail ("headers rsa verify failed") header.d=soeren-tempel.net header.s=opensmtpd header.b=EOV9cwPh; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=soeren-tempel.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1722413629; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=/Qmz5ttZvjiTYUWtJF0U6UObtspkOV96kAEjO1vsrsw=; b=TwdqT4Ml7ajwltjzg6IqVaZqhrVabDUSn9LagU/Mb/UAD2bgv3swTJTgHWk8dF6qQxSfeo weKCmqW2DBm7JQHFQp/yhUU64M9QuzxhKHMI0IrrZkpJXpL9XZgnajTb5TZW26hptPeB4E Omx51kOpnSok02jbj/uvYcmuJP8LFHk0gD7DwaJl6inIZsQ0F2gqJLrGWy6qb5le/CDhMu qC6ePbzp49jLPWOQg+Kfuc3G4IrlGm/PFHLsxbCCihxCyTcsnuuv7aIxiRH14YlZl6UkyR R5gGU2WWKC9bMaxeB0cgcTwnExMIBL6jy0MhuGtDmf+40PFP610mJNtVNju44g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1722413629; a=rsa-sha256; cv=none; b=FuqcZqke6pus1t+VAx2iXvoBPrStUE7Q8NWOfNp5xXgclcU9QCkTy+Fa0n/Kq9zEvfBcD9 69CILrwt6gbKZkjT5k8fKrQ3Mu2GxD5DSl6NiZVHuINKbwwwxeaKj3qFC8fr8dtON32laE 6vWcIIwf5gQ46UjJgkesXec/Ir0OYww4pdvxqwoHkFjL6p6BQpVFpUJYLrLXDR3ZhniaYX zHY0YPYb2qtZzWc7LilvooYMxZ24L0AkXp1SFsAQVjqgimAwrEcIGOZBz/FXoIxTJp/Yav obu/GoBl9LqNZnA8gYHUJIgGrzd4WCXiHJK4MDuXXeno1UEMtRtcyHYPam5A8Q== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=U5EmEYsW; dkim=fail ("headers rsa verify failed") header.d=soeren-tempel.net header.s=opensmtpd header.b=EOV9cwPh; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=soeren-tempel.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0185131EF2 for ; Wed, 31 Jul 2024 10:13:48 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sZ4S7-0002xV-3X; Wed, 31 Jul 2024 04:12:56 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sZ4S4-0002vz-L0 for guix-patches@gnu.org; Wed, 31 Jul 2024 04:12:52 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sZ4S4-0006VV-Bi; Wed, 31 Jul 2024 04:12:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:References:In-Reply-To:Date:From:To:Subject; bh=/Qmz5ttZvjiTYUWtJF0U6UObtspkOV96kAEjO1vsrsw=; b=U5EmEYsWStHNwsx3Nq6AjXV2tuEQGKfSWdoB7FpjDrEMsDPg9CEakauUhFmaYmWr55I4mX98sU6Pr4b75Z1FAMgMkQLyGF8/2J/ZvS+FzelSNR5qzPfJ3W2m2PW55Q2ByXMGyd8ughIG+j0xlnsklbHH/xbbZ4+4VVFCEAKeZ0rrh3odplFhCq2JJLk4agJP2bKL1wrcvfUK2oWl9HfkNRtM/YOddsm5TfN+it/y8VgfvunCmUzadijtXYqfxHoz5nsZ4721N4kYNMyZIRBf4jcW3TqpL+fHd44X19GNjDPcdCKkafRLUE6L/gfQ8tfTRV2wWKi6uA+Vy08MsElySQ==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sZ4SH-0000UM-EK; Wed, 31 Jul 2024 04:13:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72393] [PATCH 08/10] gnu: Add python-pyformlang. Resent-From: soeren@soeren-tempel.net Original-Sender: "Debbugs-submit" Resent-CC: lars@6xq.net, marius@gnu.org, me@bonfacemunyoki.com, sharlatanus@gmail.com, tanguy@bioneland.org, jgart@dismail.de, guix-patches@gnu.org Resent-Date: Wed, 31 Jul 2024 08:13:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72393 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72393@debbugs.gnu.org Cc: Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , Tanguy Le Carrour , jgart X-Debbugs-Original-Xcc: Lars-Dominik Braun , Marius Bakke , Munyoki Kilyungi , Sharlatan Hellseher , Tanguy Le Carrour , jgart Received: via spool by 72393-submit@debbugs.gnu.org id=B72393.17224135291752 (code B ref 72393); Wed, 31 Jul 2024 08:13:05 +0000 Received: (at 72393) by debbugs.gnu.org; 31 Jul 2024 08:12:09 +0000 Received: from localhost ([127.0.0.1]:49019 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sZ4RM-0000S6-VB for submit@debbugs.gnu.org; Wed, 31 Jul 2024 04:12:09 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:21577) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sZ4RH-0000Pt-Ab; Wed, 31 Jul 2024 04:12:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=/Qmz5ttZ vjiTYUWtJF0U6UObtspkOV96kAEjO1vsrsw=; h=references:in-reply-to:date: subject:to:from; d=soeren-tempel.net; b=EOV9cwPhgNNsgPMh1jQuvUPPoOX2KG V0+jaYdyGs1U6jmWKpj4p4DtiSECeK/48SrGEUF5h5ShVJtiWVe+LlH0bxPLKMse/00RMT nRxuzzeMLGo9O6afdee38ym+oBuVqWc6Gp8mYsM3SHgCanapAnmoXvIqE3sxRBhC0MgD5w w= Received: from localhost (dynamic-176-005-136-001.176.5.pool.telefonica.de [176.5.136.1]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 6885d360 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Wed, 31 Jul 2024 10:11:42 +0200 (CEST) From: soeren@soeren-tempel.net Date: Wed, 31 Jul 2024 10:11:28 +0200 Message-ID: X-Mailer: git-send-email 2.45.2 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Queue-Id: 0185131EF2 X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: -9.36 X-Spam-Score: -9.36 X-TUID: 2mbspDBZ1gAG From: Sören Tempel * 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")