From patchwork Mon Sep 27 02:20:14 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ryan Prior X-Patchwork-Id: 33343 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 5D03527BBE8; Mon, 27 Sep 2021 03:21:21 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 6E97727BBE1 for ; Mon, 27 Sep 2021 03:21:15 +0100 (BST) Received: from localhost ([::1]:36042 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUgGY-0005hO-Ep for patchwork@mira.cbaines.net; Sun, 26 Sep 2021 22:21:14 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41158) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgGM-0005h3-SB for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55920) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUgGM-0007F5-Ki for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUgGM-0002TD-Gn for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50836] [PATCH 1/5] gnu: Add python-multipledispatch. References: <20210927021752.30671-1-rprior@protonmail.com> In-Reply-To: <20210927021752.30671-1-rprior@protonmail.com> Resent-From: Ryan Prior Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Sep 2021 02:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50836@debbugs.gnu.org Received: via spool by 50836-submit@debbugs.gnu.org id=B50836.16327092319385 (code B ref 50836); Mon, 27 Sep 2021 02:21:02 +0000 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:31 +0000 Received: from localhost ([127.0.0.1]:39222 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002RI-4y for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:31 -0400 Received: from mail-4316.protonmail.ch ([185.70.43.16]:31227) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFp-0002Qv-W1 for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:30 -0400 Date: Mon, 27 Sep 2021 02:20:14 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709223; bh=1Co3C00fM1trvjIn+9z0xhVwFAmM7Hz3IYH4tjy28qU=; h=Date:To:From:Reply-To:Subject:From; b=oX4VMt7iQd4rCwfemn5VhJto1XsH1ey2Xs3zrR4YFTqv6Se/ZUPwCZSpUQbFabZnF DDqA6zYqatO4Mu01pBSB8G6KL02aD31CBagzg4D1ApDWugkH7XKMhgyVT1ZA80JLQ5 I46rMYZ2PGOP4CMuPKkDUrRpQtuBCfCZBOtS+kME= Message-ID: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Ryan Prior X-ACL-Warn: , Ryan Prior via Guix-patches X-Patchwork-Original-From: Ryan Prior via Guix-patches via From: Ryan Prior X-getmail-retrieved-from-mailbox: Patches * gnu/packages/python-xyz.scm (python-multipledispatch): New variable. --- gnu/packages/python-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) -- 2.33.0 diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index a34c444a87..c833c95b5a 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26584,6 +26584,26 @@ objects in the combined source, and how they define or use each other. The graph can be output for rendering by GraphViz or yEd.") (license license:gpl2))) +(define-public python-multipledispatch + (package + (name "python-multipledispatch") + (version "0.6.0") + (source + (origin + (method url-fetch) + (uri (pypi-uri "multipledispatch" version)) + (sha256 + (base32 + "1slblghfjg9fdi9zpd7gmrkvfbv20nrdgnrymcnbky8bzm8i9ax7")))) + (build-system python-build-system) + (propagated-inputs `(("six" ,python-six))) + (home-page + "http://github.com/mrocklin/multipledispatch/") + (synopsis "Multiple dispatch for Python based on pattern matching") + (description "This library provides an efficient mechanism for overloading +function implementations based on the types of the arguments.") + (license license:bsd-3))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) From patchwork Mon Sep 27 02:20:17 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ryan Prior X-Patchwork-Id: 33344 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7DFF227BBE1; Mon, 27 Sep 2021 03:21:21 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 77A2227BBE3 for ; Mon, 27 Sep 2021 03:21:16 +0100 (BST) Received: from localhost ([::1]:36074 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUgGZ-0005jC-GK for patchwork@mira.cbaines.net; Sun, 26 Sep 2021 22:21:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41160) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgGN-0005hB-7w for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55921) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUgGN-0007Fi-0l for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUgGM-0002TK-Tp for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50836] [PATCH 2/5] gnu: Add python-logical-unification. Resent-From: Ryan Prior Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Sep 2021 02:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50836@debbugs.gnu.org Received: via spool by 50836-submit@debbugs.gnu.org id=B50836.16327092319391 (code B ref 50836); Mon, 27 Sep 2021 02:21:02 +0000 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:31 +0000 Received: from localhost ([127.0.0.1]:39224 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002RK-D1 for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:31 -0400 Received: from mail-4323.protonmail.ch ([185.70.43.23]:46035) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFq-0002Qw-0h for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:30 -0400 Date: Mon, 27 Sep 2021 02:20:17 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709224; bh=UWTXZuu4cYjIZZtLgDU6pKDiMy58gm8xfkOsRy0ucZI=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=m1NtFCkx6rU/kXPSv7/TjJ3sdDuFmvlSIlQzzwatTplQbfJ/L4mB5St7fRPQ/ZAgz yRrk7lOzK2n3FYZjH0kWokST3k50ctV99Z3KKhDUJh1KJ0OsQbipjz9bMqKfUdW+P5 dFZJA6rAmSNnS8NWitoKeuJeNwqcB7QKMZPs+egk= Message-ID: <20210927022011.30839-2-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Ryan Prior X-ACL-Warn: , Ryan Prior via Guix-patches X-Patchwork-Original-From: Ryan Prior via Guix-patches via From: Ryan Prior X-getmail-retrieved-from-mailbox: Patches gnu/packages/python-xyz.scm (python-logical-unification): New variable. --- gnu/packages/python-xyz.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) -- 2.33.0 diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index c833c95b5a..bc5ab67e6b 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26604,6 +26604,28 @@ graph can be output for rendering by GraphViz or yEd.") function implementations based on the types of the arguments.") (license license:bsd-3))) +(define-public python-logical-unification + (package + (name "python-logical-unification") + (version "0.4.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "logical-unification" version)) + (sha256 + (base32 + "0j57953hi7kg2rl0163vzjzsvzdyjimnklhx6idf5vaqqf1d3p1j")))) + (build-system python-build-system) + (propagated-inputs + `(("multipledispatch" ,python-multipledispatch) + ("toolz" ,python-toolz))) + (home-page + "http://github.com/pythological/unification/") + (synopsis "Logical unification in Python for solving symbolic expressions") + (description "This library provides algorithms and data types for solving +symbolic expressions in pure Python using the technique of logical unification.") + (license license:bsd-3))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) From patchwork Mon Sep 27 02:20:19 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ryan Prior X-Patchwork-Id: 33347 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C66A927BBE3; Mon, 27 Sep 2021 03:21:23 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8F0C427BBE1 for ; Mon, 27 Sep 2021 03:21:23 +0100 (BST) Received: from localhost ([::1]:36832 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUgGg-0006Fu-OU for patchwork@mira.cbaines.net; Sun, 26 Sep 2021 22:21:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41166) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgGO-0005iJ-De for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55924) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUgGO-0007Gb-5l for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUgGO-0002Tg-2i for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:04 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50836] [PATCH 3/5] gnu: Add python-cons. Resent-From: Ryan Prior Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Sep 2021 02:21:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50836@debbugs.gnu.org Received: via spool by 50836-submit@debbugs.gnu.org id=B50836.16327092399437 (code B ref 50836); Mon, 27 Sep 2021 02:21:04 +0000 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39233 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFz-0002S4-7y for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:39 -0400 Received: from mail-40133.protonmail.ch ([185.70.40.133]:11386) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFv-0002R5-Pf for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:36 -0400 Date: Mon, 27 Sep 2021 02:20:19 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709225; bh=hXB9QyLwSySt9Xtf5iyvOTsVR1R7kYHveX9Seh7MLgg=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=g2+wNsIrNrFx203XoB+sIb399h+cAX919nlV0OnSqOn4EJF3cQx3H09GpM7SH2khw pVpW0lxvfiCfYzw9qGc54Sbs7M7kJy4uDPu0iLJ16V1D+uwpK+3BCSmpyZM5a8PUbX iK16rdOSZ5NyvHArKcflq27jnDEkRSBg/TwvgcbM= Message-ID: <20210927022011.30839-3-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Ryan Prior X-ACL-Warn: , Ryan Prior via Guix-patches X-Patchwork-Original-From: Ryan Prior via Guix-patches via From: Ryan Prior X-getmail-retrieved-from-mailbox: Patches gnu/packages/python-xyz.scm (python-cons): New variable. --- gnu/packages/python-xyz.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) -- 2.33.0 diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index bc5ab67e6b..1f6388d2bc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26626,6 +26626,33 @@ function implementations based on the types of the arguments.") symbolic expressions in pure Python using the technique of logical unification.") (license license:bsd-3))) +(define-public python-cons + (package + (name "python-cons") + (version "0.4.2") + (source + (origin + (method url-fetch) + (uri (pypi-uri "cons" version)) + (sha256 + (base32 + "0w9giq196wps7mbm47c4shdzs5yvwvqajqzkim2p92i51sm5qgvm")))) + (build-system python-build-system) + (native-inputs + `(("pytest@6.2.4" ,python-pytest-6) + ("toml@0.10.2" ,python-toml))) + (propagated-inputs + `(("python-logical-unification" + ,python-logical-unification))) + (home-page + "https://github.com/pythological/python-cons") + (synopsis + "Cons cell data structures and related algorithms for Python") + (description + "This library implements algorithms and data structures for Lisp-style +cons cells in Python.") + (license license:lgpl3+))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) From patchwork Mon Sep 27 02:20:22 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ryan Prior X-Patchwork-Id: 33345 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6D09A27BBE1; Mon, 27 Sep 2021 03:21:22 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 8C4E327BBE5 for ; Mon, 27 Sep 2021 03:21:16 +0100 (BST) Received: from localhost ([::1]:36078 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUgGZ-0005jW-HE for patchwork@mira.cbaines.net; Sun, 26 Sep 2021 22:21:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41162) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgGN-0005hJ-L1 for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55922) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUgGN-0007Ft-Dt for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUgGN-0002TS-AK for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50836] [PATCH 4/5] gnu: Add python-etuples. Resent-From: Ryan Prior Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Sep 2021 02:21:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50836@debbugs.gnu.org Received: via spool by 50836-submit@debbugs.gnu.org id=B50836.16327092399424 (code B ref 50836); Mon, 27 Sep 2021 02:21:03 +0000 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39229 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFy-0002Rv-LD for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:38 -0400 Received: from mail-40136.protonmail.ch ([185.70.40.136]:13639) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFr-0002Qz-PE for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:32 -0400 Date: Mon, 27 Sep 2021 02:20:22 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709225; bh=tEsmvd73UKumoRDfibYXNu9RWkwwReZqQT/V+LgOTmA=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=Qh723MnKvSRbvi45+tn83BIG1lXjwOxGfns2EYdHnGsAn7LEbS9FVchX5IggQGcqv KIQ8RfXzeVYI+wGgPpHj+L/eP0DORXgExBt0JUMX/cC/KkVJivLLUGpQgNzHWqfCYo Fei9bC2T7QczUnkvYYv8G+P/Hd/hdVSG/bROjVPc= Message-ID: <20210927022011.30839-4-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Ryan Prior X-ACL-Warn: , Ryan Prior via Guix-patches X-Patchwork-Original-From: Ryan Prior via Guix-patches via From: Ryan Prior X-getmail-retrieved-from-mailbox: Patches gnu/packages/python-xyz.scm (python-etuples): New variable. --- gnu/packages/python-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) -- 2.33.0 diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 1f6388d2bc..0b002c42dc 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26653,6 +26653,30 @@ symbolic expressions in pure Python using the technique of logical unification." cons cells in Python.") (license license:lgpl3+))) +(define-public python-etuples + (package + (name "python-etuples") + (version "0.3.3") + (source + (origin + (method url-fetch) + (uri (pypi-uri "etuples" version)) + (sha256 + (base32 + "0jhfyp177v37rl0i7wqfx7q6s5qkz027hl283d1x8d0vm3w0zqc8")))) + (build-system python-build-system) + (propagated-inputs + `(("python-cons" ,python-cons) + ("python-multipledispatch" + ,python-multipledispatch))) + (home-page + "http://github.com/pythological/etuples") + (synopsis + "S-expressions in Python") + (description + "This library implements eval'able S-expression in Python using tuple-like objects.") + (license license:asl2.0))) + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1")) From patchwork Mon Sep 27 02:20:24 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ryan Prior X-Patchwork-Id: 33346 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0178727BBE3; Mon, 27 Sep 2021 03:21:23 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED, FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS, T_DKIM_INVALID,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id EAD4627BBE6 for ; Mon, 27 Sep 2021 03:21:17 +0100 (BST) Received: from localhost ([::1]:36172 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUgGb-0005nL-2O for patchwork@mira.cbaines.net; Sun, 26 Sep 2021 22:21:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41164) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUgGO-0005he-1v for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:55923) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUgGN-0007GS-QB for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUgGN-0002TZ-Mg for guix-patches@gnu.org; Sun, 26 Sep 2021 22:21:03 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50836] [PATCH 5/5] gnu: Add python-minikanren. Resent-From: Ryan Prior Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 27 Sep 2021 02:21:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50836 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50836@debbugs.gnu.org Received: via spool by 50836-submit@debbugs.gnu.org id=B50836.16327092399431 (code B ref 50836); Mon, 27 Sep 2021 02:21:03 +0000 Received: (at 50836) by debbugs.gnu.org; 27 Sep 2021 02:20:39 +0000 Received: from localhost ([127.0.0.1]:39231 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFy-0002Rx-TK for submit@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:39 -0400 Received: from mail-4316.protonmail.ch ([185.70.43.16]:42131) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUgFt-0002R3-OO for 50836@debbugs.gnu.org; Sun, 26 Sep 2021 22:20:34 -0400 Date: Mon, 27 Sep 2021 02:20:24 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail; t=1632709227; bh=chp9Ivgil+hkriqI2VBwUEG6FdfNpNNS8WA2unkb+5Q=; h=Date:To:From:Reply-To:Subject:In-Reply-To:References:From; b=CX9MMI0m/E0CGhoiYO2I+jDOoySbIsRG31NPp3waW6o11und3uOVZxbXq2J1x872W qQoscEcOkaIUrV8vpdcAxYIJEOpbPRVdRVVo2SkO8OKKcc/SCARGGSFuopJZoMBcSC YlDizmSiIRS66X67mIcLiebbnYA48YNmZRPrtIwc= Message-ID: <20210927022011.30839-5-rprior@protonmail.com> In-Reply-To: <20210927022011.30839-1-rprior@protonmail.com> References: <20210927022011.30839-1-rprior@protonmail.com> MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Ryan Prior X-ACL-Warn: , Ryan Prior via Guix-patches X-Patchwork-Original-From: Ryan Prior via Guix-patches via From: Ryan Prior X-getmail-retrieved-from-mailbox: Patches gnu/packages/python-xyz.scm (python-minikanren): New variable. --- gnu/packages/python-xyz.scm | 46 +++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) -- 2.33.0 diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 0b002c42dc..4437de6374 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -26677,6 +26677,52 @@ cons cells in Python.") "This library implements eval'able S-expression in Python using tuple-like objects.") (license license:asl2.0))) +(define-public python-minikanren + (package + (name "python-minikanren") + (version "1.0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/pythological/kanren") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0g7wfj5hxalwz7k1301nsjqhjpzsif1bj6wjm2x2kavlm2ypv9jc")))) + (build-system python-build-system) + (arguments + '(#:phases (modify-phases %standard-phases + (replace 'check + (lambda* (#:key tests? #:allow-other-keys) + (when tests? + (invoke "python" "-m" "pytest" "-v" "tests/" "kanren/")) + #t))))) + (native-inputs + `(("python-coveralls" ,python-coveralls) + ("python-pydocstyle" ,python-pydocstyle) + ("python-pytest@6.2.4" ,python-pytest) + ("python-pytest-cov@2.8.1" ,python-pytest-cov) + ("python-pylint@2.5.3" ,python-pylint) + ("python-black@20.8b1" ,python-black) + ("python-sympy@1.7.1" ,python-sympy) + ("python-versioneer@0.19" ,python-versioneer) + ("python-coverage@5.2.1" ,python-coverage) + ("python-pre-commit@2.10.0" ,python-pre-commit))) + (propagated-inputs + `(("toolz@0.11.1" ,python-toolz) + ("cons" ,python-cons) + ("multipledispatch" ,python-multipledispatch) + ("etuples" ,python-etuples) + ("logical-unification" ,python-logical-unification))) + (home-page "https://github.com/pythological/kanren") + (synopsis "Relational logic programming in pure Python") + (description + "The minikanren library provides an algorithmic core for computer algebra +systems in Python.") + (license license:bsd-3))) + + (define-public date2name (let ((commit "6c8f37277e8ec82aa50f90b8921422be30c4e798") (revision "1"))