From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms1.migadu.com with LMTPS id GCCfIx1+QmagyQAAe85BDQ:P1 (envelope-from ) for ; Mon, 13 May 2024 22:54:53 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id GCCfIx1+QmagyQAAe85BDQ (envelope-from ) for ; Mon, 13 May 2024 22:54:53 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=UGkkw8ka; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.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-Seal: i=1; s=key1; d=yhetil.org; t=1715633693; a=rsa-sha256; cv=none; b=q7uW/aXpwPpBGFbsDTOk19VCcTY10ksol4nhzjrtV4+dFPokz3FHTgkl/5dhLIH89Zznfr PZW4mIcaJdIbJDEB0NGpTjRSuO0Ur9YqIHSIjjJ8QVJdrjxIv9gkxBTkxmcuJYhDBJNCEc +3KAPKcJRm7ysw5C9eMrF2CY+wX5EJVueHqcjalKpIy8oNAo9KZTzJaSGnsHDqdI/m0ULE 9+jC0fVU7GG9ijNTUjQEX5r/TQuZJ/N8SfoWXDaKg9iXe2tatNULdNwcfIxRKIM2nLr3hl g6Q/TrdSn8xWGxEKQhpOCOQ2Nb2ZcfKmJ54j98uXi4wqr+72nPnETnpbLTkcoA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=UGkkw8ka; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.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=1715633693; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=U6oFDvS4/ZF+vd/thZX7fOTjLdIg5PEKz43XUsz6efg=; b=ilJsEpe2pNbfIUax6WcPERz/e4oA3+QPxXwhkgE4a19VF4XcQ/+E467cX+CxydqUrNy6qC 6ewViXmFHWY0R9gzSHsIGaGwcfRBPvRpMRA2QYsxpl9u0V/eWAa9jP7biIEwrzVhlB6/VD 4cjnGST2M/tYKzYCWFJ5oGrjajrIaCdY7Bnn1AbcOcphBRROabrGDP/iIWp7vndA6vnJZe hrMh7pkeO1fh/gujAd+z2tTGh7jPC3NnWqzR5lkTsiKiswmY2MJAgTIRrT8+nEM8XZ0TWF kZmGVTER4DGjGAIPJYpBsetB2kwZa+VYzIOJn4wKUAU4KtyrHPkLXOwmHJFEeg== 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 702941901F for ; Mon, 13 May 2024 22:54:53 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s6cgR-00017d-Lj; Mon, 13 May 2024 16:54:07 -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 1s6cgP-00015X-MI for guix-patches@gnu.org; Mon, 13 May 2024 16:54:05 -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 1s6cgP-0000SE-DN for guix-patches@gnu.org; Mon, 13 May 2024 16:54:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1s6cgQ-0000mh-23 for guix-patches@gnu.org; Mon, 13 May 2024 16:54:06 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#70924] [PATCH 10/10] gnu: Add python-pplpy. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 13 May 2024 20:54:06 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 70924 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 70924@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 70924-submit@debbugs.gnu.org id=B70924.17156336302946 (code B ref 70924); Mon, 13 May 2024 20:54:06 +0000 Received: (at 70924) by debbugs.gnu.org; 13 May 2024 20:53:50 +0000 Received: from localhost ([127.0.0.1]:34904 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s6cgA-0000lS-CN for submit@debbugs.gnu.org; Mon, 13 May 2024 16:53:50 -0400 Received: from mout02.posteo.de ([185.67.36.66]:57599) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1s6cg8-0000lA-8a for 70924@debbugs.gnu.org; Mon, 13 May 2024 16:53:48 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 0076E240101 for <70924@debbugs.gnu.org>; Mon, 13 May 2024 22:53:42 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1715633622; bh=1fs0W+7GzSSIipJtw7tcZIgAQWffet4sz/cUBhftsPo=; h=From:To:Cc:Subject:Date:Message-Id:MIME-Version: Content-Transfer-Encoding:From; b=UGkkw8kaeTGerjXc3nkgHfHJdIg8UN8VDqeJZcZ5gDCxE8IBkWKyfZn/dmEK0WdDS jMGeb9cDWCYvxv5YYfjaxPEO6lQWi8mZJ8CnqOqIep7vb3YXR2EOWzQWwn086VikAn ywBQ977zNsfzE72RWmeyziaE2/5EZkSw9QHoFrWpOMioz7CYCJWIEzOMAfXfh8w0P8 f8/KbarlwfOwk57jiy6CyHxb1LGuZdgRkVW+++IN08PHOJR6uZ/v/izdDtCi6SicKl n/zXzjyfAmcLOHwOOg7Z7vVA2882wz5gNGnZo3369Vbo6etfndDgQC1tHHVvA+iNmH kR3c+mJxJstVQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4VdWtD5zqbz9rxD; Mon, 13 May 2024 22:53:40 +0200 (CEST) From: Vinicius Monego Date: Mon, 13 May 2024 20:52:15 +0000 Message-Id: <6264215cfd17efe1a12b728b0cecc915963cfab5.1715633288.git.monego@posteo.net> In-Reply-To: <676c926b816fad99606d7803b3b43156fe4696a1.1715633288.git.monego@posteo.net> References: <676c926b816fad99606d7803b3b43156fe4696a1.1715633288.git.monego@posteo.net> MIME-Version: 1.0 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: 702941901F X-Migadu-Scanner: mx12.migadu.com X-Migadu-Spam-Score: 3.93 X-Spam-Score: 3.93 X-TUID: t4MPRYW5Myun * gnu/packages/sagemath.scm (python-pplpy): New variable. Change-Id: I24d436a03462fd7eb176d34a15683a88814238ea --- gnu/packages/sagemath.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 9ccb7eb055..3373885614 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -35,6 +35,7 @@ (define-module (gnu packages sagemath) #:use-module (gnu packages autotools) #:use-module (gnu packages bdw-gc) #:use-module (gnu packages boost) + #:use-module (gnu packages check) #:use-module (gnu packages compression) #:use-module (gnu packages image) #:use-module (gnu packages lisp) @@ -258,6 +259,26 @@ (define-public zn-poly (license (list license:gpl2 license:gpl3)) ; dual licensed (home-page "https://gitlab.com/sagemath/zn_poly"))) +(define-public python-pplpy + (package + (name "python-pplpy") + (version "0.8.10") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pplpy" version)) + (sha256 + (base32 "1zggfj09zkfcabcsasq27vwbhdmkig4yn380gi6wykcih9n22anl")))) + (build-system pyproject-build-system) + (native-inputs (list python-cython-3 python-pytest)) + (inputs (list gmp mpc mpfr pari-gp ppl)) + (propagated-inputs (list python-cysignals python-gmpy2)) + (home-page "https://github.com/sagemath/pplpy") + (synopsis "Python PPL wrapper") + (description "This Python package provides a wrapper to the C++ Parma +Polyhedra Library (PPL).") + (license license:gpl3+))) + (define-public brial (package (name "brial") -- 2.39.2