From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:56:06 2024 Received: (at submit) by debbugs.gnu.org; 25 Jan 2024 13:56:06 +0000 Received: from localhost ([127.0.0.1]:47616 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0D7-0000fG-RH for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:56:06 -0500 Received: from lists.gnu.org ([2001:470:142::17]:32966) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0D5-0000ew-EM for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:56:04 -0500 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 1rT0Cu-0000Kn-2a for guix-patches@gnu.org; Thu, 25 Jan 2024 08:55:52 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rT0Cr-0006vD-Fh for guix-patches@gnu.org; Thu, 25 Jan 2024 08:55:51 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B04F51133; Thu, 25 Jan 2024 14:55:46 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 9RX7XwIr9xpA; Thu, 25 Jan 2024 14:55:46 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 1B94939F; Thu, 25 Jan 2024 14:55:46 +0100 (CET) From: Andreas Enge To: guix-patches@gnu.org Subject: [PATCH 0/5] Update flint to 3.0.1 Date: Thu, 25 Jan 2024 14:54:31 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.233.100.1; envelope-from=andreas@enge.fr; helo=hera.aquilenet.fr X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: submit Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) This patch series updates flint to 3.0.1, removes arb, which has been moved into the flint library, and deals with the dependent packages. Andreas Enge (5): gnu: flint: Update to 3.0.1. gnu: pynac: Remove package. gnu: s7: Compile with flint@3. gnu: python-flint: Update to 0.5.0 and build with flint@3. gnu: arb: Deprecate package. gnu/local.mk | 4 +- gnu/packages/algebra.scm | 80 ++--------- gnu/packages/lisp.scm | 10 +- .../patches/python-flint-includes.patch | 131 ------------------ gnu/packages/patches/s7-flint-3.patch | 31 +++++ gnu/packages/sagemath.scm | 29 +--- 6 files changed, 49 insertions(+), 236 deletions(-) delete mode 100644 gnu/packages/patches/python-flint-includes.patch create mode 100644 gnu/packages/patches/s7-flint-3.patch base-commit: 5111915e6afeb507a73a6ebe60e3fef754a3016a -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:58:35 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 13:58:35 +0000 Received: from localhost ([127.0.0.1]:47631 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FX-0000jd-8J for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:35 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:33842) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FV-0000jE-7I for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:34 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id BBE9D1135; Thu, 25 Jan 2024 14:58:21 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id PnNEiEufDHss; Thu, 25 Jan 2024 14:58:21 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 076FA1149; Thu, 25 Jan 2024 14:58:21 +0100 (CET) From: Andreas Enge To: 68714@debbugs.gnu.org Subject: [PATCH 2/5] gnu: pynac: Remove package. Date: Thu, 25 Jan 2024 14:58:03 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) The package was integrated into the Sagemath source code in 2021. * gnu/packages/sagemath.scm (pynac): Remove variable. Change-Id: I5c6a90ed1747852d0dc4e73b79ce9daa34d876c7 --- gnu/packages/sagemath.scm | 29 +---------------------------- 1 file changed, 1 insertion(+), 28 deletions(-) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 242f890c0c..8d5d04ee93 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2019, 2024 Andreas Enge +;;; Copyright © 2019 Andreas Enge ;;; Copyright © 2019 Nicolas Goaziou ;;; Copyright © 2019, 2020 Tobias Geerinckx-Rice ;;; Copyright © 2020 Jakub Kądziołka @@ -170,33 +170,6 @@ (define-public libhomfly (license license:public-domain) (home-page "https://github.com/miguelmarco/libhomfly"))) -(define-public pynac - (package - (name "pynac") - (version "0.7.29") - (source - (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/pynac/pynac/") - (commit (string-append "pynac-" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 "1h2b85rmmrsjnqk8z5d811r1lc0h64g7dyk7gfbwyapdcmx7pi51")))) - (build-system gnu-build-system) - (native-inputs - (list autoconf automake libtool pkg-config)) - (inputs - (list flint gmp python singular)) - (synopsis "Sage fork of GiNaC") - (description "Pynac is a derivative of the C++ library GiNaC, which -allows manipulation of symbolic expressions. It currently provides the -backend for symbolic expressions in Sage. The main difference between -Pynac and GiNaC is that Pynac relies on Sage to provide the operations -on numerical types, while GiNaC depends on CLN for this purpose.") - (license license:gpl2+) - (home-page "http://pynac.org/"))) - ;; Sage has become upstream of the following package. (define-public zn-poly (package -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:58:41 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 13:58:41 +0000 Received: from localhost ([127.0.0.1]:47636 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0Fc-0000k7-QE for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:41 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:50788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FU-0000jC-V1 for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:34 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 218391064; Thu, 25 Jan 2024 14:58:21 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7Q5LAxCLQsTa; Thu, 25 Jan 2024 14:58:20 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 52EFF348; Thu, 25 Jan 2024 14:58:20 +0100 (CET) From: Andreas Enge To: 68714@debbugs.gnu.org Subject: [PATCH 1/5] gnu: flint: Update to 3.0.1. Date: Thu, 25 Jan 2024 14:58:02 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/algebra.scm (flint): Update to 3.0.1. [arguments]: Remove obsolete phase additions. Change-Id: Iebac9d3a0b1e19147df9402d522c55cb168148d7 --- gnu/packages/algebra.scm | 29 ++++------------------------- 1 file changed, 4 insertions(+), 25 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 8d1877e3d9..43047a9b32 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -417,41 +417,20 @@ (define-public giac (define-public flint (package (name "flint") - (version "2.9.0") + (version "3.0.1") (source (origin (method url-fetch) - (uri (string-append "http://flintlib.org/flint-" version ".tar.gz")) + (uri (string-append "https://flintlib.org/flint-" version ".tar.gz")) (sha256 - (base32 "0sp79ixaawjzna79afrlwlx9hg55jxil03f1wq435j9k23ar1h1g")))) + (base32 "1d4lawfvmjd4n7rp4z9xkwwjjbrjhkmxnxw1xf0ki1isa001lcbv")))) (build-system gnu-build-system) (inputs (list ntl)) (propagated-inputs (list gmp mpfr)) ; header files from both are included by flint/arith.h (arguments - `(#:parallel-tests? #f ; seems to be necessary on arm - #:phases - (modify-phases %standard-phases - (add-before 'configure 'newer-c++ - (lambda _ - (substitute* "configure" - (("-ansi") "")) - #t)) - (replace 'configure - (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out")) - (gmp (assoc-ref inputs "gmp")) - (mpfr (assoc-ref inputs "mpfr")) - (ntl (assoc-ref inputs "ntl"))) - ;; Do not pass "--enable-fast-install", which makes the - ;; homebrew configure process fail. - (invoke "./configure" - (string-append "--prefix=" out) - (string-append "--with-gmp=" gmp) - (string-append "--with-mpfr=" mpfr) - (string-append "--with-ntl=" ntl)) - #t)))))) + `(#:parallel-tests? #f)) ; seems to be necessary on arm (synopsis "Fast library for number theory") (description "FLINT is a C library for number theory. It supports arithmetic -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:58:41 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 13:58:41 +0000 Received: from localhost ([127.0.0.1]:47638 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0Fd-0000k9-65 for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:41 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:33848) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FX-0000jM-5n for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:36 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id B914F115A; Thu, 25 Jan 2024 14:58:23 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 8XEUgzxexmKc; Thu, 25 Jan 2024 14:58:22 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 746B2348; Thu, 25 Jan 2024 14:58:22 +0100 (CET) From: Andreas Enge To: 68714@debbugs.gnu.org Subject: [PATCH 4/5] gnu: python-flint: Update to 0.5.0 and build with flint@3. Date: Thu, 25 Jan 2024 14:58:05 +0100 Message-ID: <0ca0558168755c0d604e85cf4225691f4805ac30.1706190861.git.andreas@enge.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/patches/python-flint-includes.patch: Remove file. * gnu/local.mk (dist_patch_DATA): Unregister file. * gnu/packages/algebra.scm (python-flint): Update to 0.5.0. [source]: Drop patch. [inputs]: Drop arb. [native-inputs]: Use python-cython-3. Change-Id: I5fa9b201efff76e16f957aee0ebcd453ea823e69 --- gnu/local.mk | 1 - gnu/packages/algebra.scm | 9 +- .../patches/python-flint-includes.patch | 131 ------------------ 3 files changed, 4 insertions(+), 137 deletions(-) delete mode 100644 gnu/packages/patches/python-flint-includes.patch diff --git a/gnu/local.mk b/gnu/local.mk index 9eac0cae1a..ab63bd5881 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1910,7 +1910,6 @@ dist_patch_DATA = \ %D%/packages/patches/python-piexif-fix-tests-with-pillow-7.2.patch \ %D%/packages/patches/python-pillow-CVE-2022-45199.patch \ %D%/packages/patches/python-pyfakefs-remove-bad-test.patch \ - %D%/packages/patches/python-flint-includes.patch \ %D%/packages/patches/python-libxml2-utf8.patch \ %D%/packages/patches/python-memcached-syntax-warnings.patch \ %D%/packages/patches/python-mox3-python3.6-compat.patch \ diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 43047a9b32..5fd8d0f106 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -494,7 +494,7 @@ (define-public arb (define-public python-flint (package (name "python-flint") - (version "0.3.0") + (version "0.5.0") (source (origin (method git-fetch) (uri (git-reference @@ -503,15 +503,14 @@ (define-public python-flint (file-name (git-file-name name version)) (sha256 (base32 - "1v0anazbj1cfi68nl2j6dbd31kgkc1563xmr0zk5xk3xj78569pw")) - (patches (search-patches "python-flint-includes.patch")))) + "10370kqik6q6vdqrqv3gbznsyaxbgqb3rbrff4alpw0sqr5s07c7")))) (build-system python-build-system) (native-inputs - (list python-cython)) + (list python-cython-3)) (propagated-inputs (list python-numpy)) (inputs - (list arb flint)) + (list flint)) (synopsis "Python module wrapping ARB and FLINT") (description "Python-flint is a Python extension module wrapping FLINT diff --git a/gnu/packages/patches/python-flint-includes.patch b/gnu/packages/patches/python-flint-includes.patch deleted file mode 100644 index c0cfe94a04..0000000000 --- a/gnu/packages/patches/python-flint-includes.patch +++ /dev/null @@ -1,131 +0,0 @@ -The following patch, authored by Andreas Enge, looks for the flint include -files in the correct subdirectory. - -diff -u -r python-flint-old/src/flint.pxd python-flint-new/src/flint.pxd ---- python-flint-old/src/flint.pxd 2019-03-19 10:26:11.055748626 +0100 -+++ python-flint-new/src/flint.pxd 2019-03-19 10:35:23.269341203 +0100 -@@ -27,7 +27,7 @@ - - ctypedef long fmpz_struct - --cdef extern from "flint.h": -+cdef extern from "flint/flint.h": - ctypedef void * flint_rand_t - void flint_randinit(flint_rand_t state) - void flint_randclear(flint_rand_t state) -@@ -35,7 +35,7 @@ - long flint_get_num_threads() - void flint_cleanup() - --cdef extern from "nmod_vec.h": -+cdef extern from "flint/nmod_vec.h": - ctypedef struct nmod_t: - mp_limb_t n - mp_limb_t ninv -@@ -47,7 +47,7 @@ - mp_limb_t nmod_mul(mp_limb_t a, mp_limb_t b, nmod_t mod) - mp_limb_t nmod_div(mp_limb_t a, mp_limb_t b, nmod_t mod) - --cdef extern from "nmod_poly.h": -+cdef extern from "flint/nmod_poly.h": - ctypedef struct nmod_poly_struct: - mp_ptr coeffs - long alloc -@@ -129,7 +129,7 @@ - void nmod_poly_factor_init(nmod_poly_factor_t fac) - void nmod_poly_factor_clear(nmod_poly_factor_t fac) - --cdef extern from "nmod_mat.h": -+cdef extern from "flint/nmod_mat.h": - ctypedef struct nmod_mat_struct: - mp_limb_t * entries - long r -@@ -178,7 +178,7 @@ - long nmod_mat_rref(nmod_mat_t A) - long nmod_mat_nullspace(nmod_mat_t X, nmod_mat_t A) - --cdef extern from "fmpz.h": -+cdef extern from "flint/fmpz.h": - ctypedef fmpz_struct fmpz_t[1] - int COEFF_IS_MPZ(fmpz_struct v) - void fmpz_init(fmpz_t op) -@@ -268,7 +268,7 @@ - void fmpz_rfac_uiui(fmpz_t r, ulong x, ulong n) - void fmpz_primorial(fmpz_t res, ulong n) - --cdef extern from "fmpz_factor.h": -+cdef extern from "flint/fmpz_factor.h": - ctypedef struct fmpz_factor_struct: - int sign - fmpz_struct * p -@@ -280,7 +280,7 @@ - void fmpz_factor_clear(fmpz_factor_t factor) - void fmpz_factor(fmpz_factor_t factor, fmpz_t n) - --cdef extern from "fmpz_poly.h": -+cdef extern from "flint/fmpz_poly.h": - ctypedef struct fmpz_poly_struct: - fmpz_struct * coeffs - long alloc -@@ -390,14 +390,14 @@ - void fmpz_poly_cos_minpoly(fmpz_poly_t, ulong) - void fmpz_poly_swinnerton_dyer(fmpz_poly_t, ulong) - --cdef extern from "fmpz_poly_factor.h": -+cdef extern from "flint/fmpz_poly_factor.h": - void fmpz_poly_factor_init(fmpz_poly_factor_t fac) - void fmpz_poly_factor_clear(fmpz_poly_factor_t fac) - void fmpz_poly_factor_zassenhaus(fmpz_poly_factor_t fac, fmpz_poly_t G) - void fmpz_poly_factor(fmpz_poly_factor_t fac, fmpz_poly_t G) - void fmpz_poly_factor_squarefree(fmpz_poly_factor_t fac, fmpz_poly_t G) - --cdef extern from "fmpz_mat.h": -+cdef extern from "flint/fmpz_mat.h": - ctypedef struct fmpz_mat_struct: - fmpz_struct * entries - long r -@@ -448,7 +448,7 @@ - void fmpz_mat_snf(fmpz_mat_t S, const fmpz_mat_t A) - int fmpz_mat_is_in_snf(const fmpz_mat_t A) - --cdef extern from "fmpz_lll.h": -+cdef extern from "flint/fmpz_lll.h": - ctypedef struct fmpz_lll_struct: - double delta - double eta -@@ -461,7 +461,7 @@ - void fmpz_lll(fmpz_mat_t B, fmpz_mat_t U, const fmpz_lll_t fl) - - --cdef extern from "fmpq.h": -+cdef extern from "flint/fmpq.h": - ctypedef struct fmpq_struct: - fmpz_struct num - fmpz_struct den -@@ -506,7 +506,7 @@ - void fmpq_next_signed_minimal(fmpq_t res, fmpq_t x) - void fmpq_harmonic_ui(fmpq_t res, ulong n) - --cdef extern from "fmpq_poly.h": -+cdef extern from "flint/fmpq_poly.h": - ctypedef struct fmpq_poly_struct: - fmpz_struct * coeffs - fmpz_t den -@@ -620,7 +620,7 @@ - void fmpq_poly_compose_series(fmpq_poly_t res, fmpq_poly_t poly1, fmpq_poly_t poly2, long n) - void fmpq_poly_revert_series(fmpq_poly_t res, fmpq_poly_t poly1, long n) - --cdef extern from "fmpq_mat.h": -+cdef extern from "flint/fmpq_mat.h": - ctypedef struct fmpq_mat_struct: - fmpq_struct * entries - long r -@@ -672,7 +672,7 @@ - long fmpq_mat_rref(fmpq_mat_t B, fmpq_mat_t A) - void fmpq_mat_transpose(fmpq_mat_t B, fmpq_mat_t A) - --cdef extern from "arith.h": -+cdef extern from "flint/arith.h": - void arith_number_of_partitions(fmpz_t res, ulong n) - int arith_moebius_mu(fmpz_t n) - void arith_divisor_sigma(fmpz_t v, fmpz_t n, ulong k) -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:58:42 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 13:58:42 +0000 Received: from localhost ([127.0.0.1]:47640 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0Fd-0000kG-Qq for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:42 -0500 Received: from hera.aquilenet.fr ([2a0c:e300::1]:58886) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FX-0000jN-Hn for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:37 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 29372348; Thu, 25 Jan 2024 14:58:24 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tT1H3nm4OgIr; Thu, 25 Jan 2024 14:58:23 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 2AB0E1149; Thu, 25 Jan 2024 14:58:23 +0100 (CET) From: Andreas Enge To: 68714@debbugs.gnu.org Subject: [PATCH 5/5] gnu: arb: Deprecate package. Date: Thu, 25 Jan 2024 14:58:06 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Andreas Enge , Eric Bavier , Sharlatan Hellseher Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/algebra.scm (arb): Deprecate in favor of flint, of which it is now a part. Change-Id: I02ee2110e77c582b8daf70502f7092eba7c44547 --- gnu/packages/algebra.scm | 42 +--------------------------------------- 1 file changed, 1 insertion(+), 41 deletions(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 5fd8d0f106..667a5f1a38 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -449,47 +449,7 @@ (define-public flint '((release-monitoring-url . "http://flintlib.org/downloads.html"))))) (define-public arb - (package - (name "arb") - (version "2.23.0") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/fredrik-johansson/arb") - (commit version))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1m9vskyf857gbm0cbh3z8c8m6cqkqa765wb9hqmsv7yzfmklzpvn")))) - (build-system gnu-build-system) - (propagated-inputs - (list flint)) ; flint.h is included by arf.h - (inputs - (list gmp mpfr)) - (arguments - `(#:phases - (modify-phases %standard-phases - (replace 'configure - (lambda* (#:key inputs outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out")) - (flint (assoc-ref inputs "flint")) - (gmp (assoc-ref inputs "gmp")) - (mpfr (assoc-ref inputs "mpfr"))) - ;; Do not pass "--enable-fast-install", which makes the - ;; homebrew configure process fail. - (invoke "./configure" - (string-append "--prefix=" out) - (string-append "--with-flint=" flint) - (string-append "--with-gmp=" gmp) - (string-append "--with-mpfr=" mpfr)))))))) - (home-page "https://arblib.org") - (synopsis "Arbitrary precision floating-point ball arithmetic") - (description - "Arb is a C library for arbitrary-precision floating-point ball -arithmetic. It supports efficient high-precision computation with -polynomials, power series, matrices and special functions over the -real and complex numbers, with automatic, rigorous error control.") - (license license:lgpl2.1+))) + (deprecated-package "arb" flint)) (define-public python-flint (package -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 08:58:43 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 13:58:43 +0000 Received: from localhost ([127.0.0.1]:47642 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0Fe-0000kQ-92 for submit@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:43 -0500 Received: from hera.aquilenet.fr ([2a0c:e300::1]:58880) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT0FY-0000jG-7J for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 08:58:38 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id CD20B115E; Thu, 25 Jan 2024 14:58:22 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ip4wZlkU0zqg; Thu, 25 Jan 2024 14:58:21 +0100 (CET) Received: from jurong.math.u-bordeaux1.fr (sauterelleold.math.u-bordeaux1.fr [147.210.16.130]) by hera.aquilenet.fr (Postfix) with ESMTPSA id BE4BA115A; Thu, 25 Jan 2024 14:58:21 +0100 (CET) From: Andreas Enge To: 68714@debbugs.gnu.org Subject: [PATCH 3/5] gnu: s7: Compile with flint@3. Date: Thu, 25 Jan 2024 14:58:04 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 X-Debbugs-Cc: Guillaume Le Vaillant , Katherine Cox-Buday , Munyoki Kilyungi , Sharlatan Hellseher , jgart Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: Andreas Enge X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) * gnu/packages/patches/s7-flint-3.patch: New file. * gnu/local.mk (dist_patch_DATA): Register file. * gnu/packages/lisp.scm (s7-bootstrap)[source]: Add patch. [inputs]: Remove arb. Change-Id: I06bac9d850977b8ee769e629f1b64411a8dc3247 --- gnu/local.mk | 3 ++- gnu/packages/lisp.scm | 10 +++++---- gnu/packages/patches/s7-flint-3.patch | 31 +++++++++++++++++++++++++++ 3 files changed, 39 insertions(+), 5 deletions(-) create mode 100644 gnu/packages/patches/s7-flint-3.patch diff --git a/gnu/local.mk b/gnu/local.mk index 43d02ee793..9eac0cae1a 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1,6 +1,6 @@ # GNU Guix --- Functional package management for GNU # Copyright © 2012-2024 Ludovic Courtès -# Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2022, 2023 Andreas Enge +# Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2022, 2023, 2024 Andreas Enge # Copyright © 2016 Mathieu Lirzin # Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021 Mark H Weaver # Copyright © 2016 Chris Marusich @@ -2003,6 +2003,7 @@ dist_patch_DATA = \ %D%/packages/patches/rust-wl-clipboard-rs-newer-wl.patch \ %D%/packages/patches/rw-igraph-0.10.patch \ %D%/packages/patches/rxvt-unicode-fix-cursor-position.patch \ + %D%/packages/patches/s7-flint-3.patch \ %D%/packages/patches/sbc-fix-build-non-x86.patch \ %D%/packages/patches/sbcl-aserve-add-HTML-5-elements.patch \ %D%/packages/patches/sbcl-aserve-fix-rfe12668.patch \ diff --git a/gnu/packages/lisp.scm b/gnu/packages/lisp.scm index 8e614b7d90..29d5ddebdc 100644 --- a/gnu/packages/lisp.scm +++ b/gnu/packages/lisp.scm @@ -25,7 +25,8 @@ ;;; Copyright © 2022 ( ;;; Copyright © 2023 Zheng Junjie <873216071@qq.com> ;;; Copyright © 2023 Yovan Naumovski -;;; Copyright © 2023 Andrew Kravchuk +;;; Copyright © 2024 Andreas Enge ;;; ;;; This file is part of GNU Guix. ;;; @@ -1502,7 +1503,8 @@ (define-public s7-bootstrap (file-name (git-file-name name version)) (sha256 (base32 - "0fiw8lb7rswglixvn271la2q2hgwszrf2ckykhr6jjxdvmb9a7d0")))) + "0fiw8lb7rswglixvn271la2q2hgwszrf2ckykhr6jjxdvmb9a7d0")) + (patches (search-patches "s7-flint-3.patch")))) (build-system gnu-build-system) (arguments (list #:tests? #f ;no tests in bootstrap @@ -1533,7 +1535,7 @@ (define-public s7-bootstrap (invoke #$(cc-for-target) "libarb_s7.c" "-I." "-O2" "-g" "-shared" "-o" "libarb_s7.so" - "-larb" "-lflint" "-lmpc" "-fPIC") + "-lflint" "-lmpc" "-fPIC") (display "[BUILD] libnotcurses_s7.so\n") (invoke #$(cc-for-target) "notcurses_s7.c" "-I." "-O2" "-g" @@ -1572,7 +1574,7 @@ (define-public s7-bootstrap (install-file "s7.c" share) (install-file "s7.h" inc) (install-file "s7.html" doc))))))) - (inputs (list arb flint mpc notcurses)) + (inputs (list flint mpc notcurses)) (home-page "https://ccrma.stanford.edu/software/snd/snd/s7.html") (synopsis "Scheme interpreter intended as an extension language") (description diff --git a/gnu/packages/patches/s7-flint-3.patch b/gnu/packages/patches/s7-flint-3.patch new file mode 100644 index 0000000000..49f47adda1 --- /dev/null +++ b/gnu/packages/patches/s7-flint-3.patch @@ -0,0 +1,31 @@ +From bd54bd42c5933e4c571dcfd6a8afac8e52cf7366 Mon Sep 17 00:00:00 2001 +From: Andreas Enge +Date: Thu, 25 Jan 2024 12:13:18 +0100 +Subject: [PATCH] Adapt libarb_s7.c to FLINT 3. + +--- + libarb_s7.c | 8 ++++---- + 1 file changed, 4 insertions(+), 4 deletions(-) + +diff --git a/libarb_s7.c b/libarb_s7.c +index 7413ccc..d9e0084 100644 +--- a/libarb_s7.c ++++ b/libarb_s7.c +@@ -6,10 +6,10 @@ + #include + #include + +-#include +-#include +-#include +-#include ++#include ++#include ++#include ++#include + + #define WITH_GMP 1 + #include "s7.h" +-- +2.41.0 + -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 11:14:56 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 16:14:56 +0000 Received: from localhost ([127.0.0.1]:48970 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NU-0007Rv-7f for submit@debbugs.gnu.org; Thu, 25 Jan 2024 11:14:56 -0500 Received: from mail-ej1-x641.google.com ([2a00:1450:4864:20::641]:48487) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NR-0007RW-IG for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 11:14:54 -0500 Received: by mail-ej1-x641.google.com with SMTP id a640c23a62f3a-a33604b00c6so45147066b.1 for <68714@debbugs.gnu.org>; Thu, 25 Jan 2024 08:14:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706199282; x=1706804082; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=b4Lp71Uo4hld3FMSbdz67PN2vONEVdDfpOSHW4KpYPQ=; b=aNdSFl2RblvmOpX4cFmylop09majr6s+wEhzjc35r3KHotSMInKCj4MyXSX+Juv8Za T8uVKHfJ1LszWxObWc1yF51f/diUAxNcHEBQ/znhyfgN6iKauxCltLdnPcIuWIxg4rR9 oKLv8oBZYWTtpg7r5kcpNBDq4QqrlcPK5NzEv7jWv7BPRzsKix782uww3mRZ/TqBBZ4r xcJO8bXpJ9jZubwanzxkkk+MuQx8JtTAaD3upJAzHInx3H7cka/iCGpLFX3Rv13y2DBy kb+iObp6DGzVguZpX1EDBG8nBjBGrhrBSEQxXnPuw46UvoweLvRj8d3lU88zrt7jKm8Y d90w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706199282; x=1706804082; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=b4Lp71Uo4hld3FMSbdz67PN2vONEVdDfpOSHW4KpYPQ=; b=bK7MOAPwbPogM6yGaqau5fjbnaMJSNpQaFKao7roG8aKEfkS/MOAlIRU2JGEBTniQt dXnOCUPQDgOE8huwKIPOJdbnEBxJoy3+vEdnf/wCaz6gB8LXSu41vKOUvH9Xm+eenLvN rTpDwufL/vuVTsBPr1P3l08SZbjbl1ljsB3Ifmc9VaBU05+L/TLpBTiGntlqQy+telo3 dHdel4MvjbQxjN8M6+AsVLdCEF0UFr/eGydw2J0W6wc745SdGNSxbk7l+rGSGSlNqQq3 rjqVRetZ43mx6Yc4eiGTj/jyn0lFNCYY89iPYtrE9Re2CxRaJqWEA9TMO+RyatihT7fx MlQQ== X-Gm-Message-State: AOJu0Yw4JFGTdcJaKzCvxBA5cwtviQvYyvcA9tzY1zJ8fDfg8MbaxXH/ YbaoBz+mMF587gXCTAJ6hv4GXkOAx55ZdvKsJFDS3LIy79+V3lYveqmmE1Jn8Ek= X-Google-Smtp-Source: AGHT+IGro2bmQrRobgZBz13zH7NenWdDLOwEXh9Jy7n8nzz4T1A2O7nALv23bWfwZ8bLe/0uI+0j6Q== X-Received: by 2002:a17:906:329b:b0:a30:3b60:dab5 with SMTP id 27-20020a170906329b00b00a303b60dab5mr600433ejw.46.1706199281950; Thu, 25 Jan 2024 08:14:41 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id vx10-20020a170907a78a00b00a3162e76a6csm1026885ejc.215.2024.01.25.08.14.41 for <68714@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 08:14:41 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:42:06 +0100 Subject: [PATCH 1/4] gnu: Add python-clingo-dl. to: 68714@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.1 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clingo-dl): New variable. --- gnu/packages/potassco.scm | 36 +++++++++++++++++++++++++++++++++++- 1 file changed, 35 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index f2ee27db99..afc4c4d513 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:641 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) 0.0 PP_MIME_FAKE_ASCII_TEXT BODY: MIME text/plain claims to be ASCII but isn't -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 68714 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.1 (/) * gnu/packages/potassco.scm (python-clingo-dl): New variable. --- gnu/packages/potassco.scm | 36 +++++++++++++++++++++++++++++++++++- 1 file changed, 35 insertions(+), 1 deletion(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index f2ee27db99..afc4c4d513 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2022, 2023 Liliana Marie Prikler +;;; Copyright © 2022–2024 Liliana Marie Prikler ;;; Copyright © 2023 Simon Tournier ;;; Copyright © 2023 David Elsing ;;; Copyright © 2024 Ricardo Wurmus @@ -370,6 +370,40 @@ (define-public python-clingo making it so that you can write @acronym{ASPs, Answer Set Programs} through Python code."))) +(define-public python-clingo-dl + (package + (inherit clingo-dl) + (name "python-clingo-dl") + (version (package-version clingo-dl)) + (arguments + (list + #:configure-flags #~'("-DPYCLINGODL_ENABLE=pip") + #:tests? #f + #:imported-modules `(,@%cmake-build-system-modules + (guix build python-build-system)) + #:modules '((guix build cmake-build-system) + ((guix build python-build-system) #:prefix python:) + (guix build utils)) + #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-distinfo + (lambda* (#:key inputs outputs #:allow-other-keys) + (with-directory-excursion (python:site-packages inputs outputs) + (let ((dir (string-append "clingodl-" #$version ".dist-info"))) + (mkdir-p dir) + (call-with-output-file (string-append dir "/METADATA") + (lambda (port) + (format port "Metadata-Version: 1.1~%") + (format port "Name: clingodl~%") + (format port "Version: ~a~%" #$version)))))))))) + (inputs (modify-inputs (package-inputs clingo-dl) + (prepend python-wrapper))) + (propagated-inputs (list python-clingo python-cffi)) + (synopsis "Python bindings for clingo-dl") + (description "This package allows users to add the clingo-dl propagator +as a theory to clingo from Python code. It also supports running clingo-dl +directly from the python command line."))) + (define-public python-clorm (package (name "python-clorm") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 11:15:00 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 16:15:00 +0000 Received: from localhost ([127.0.0.1]:48972 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NX-0007S8-M3 for submit@debbugs.gnu.org; Thu, 25 Jan 2024 11:15:00 -0500 Received: from mail-lf1-x130.google.com ([2a00:1450:4864:20::130]:60668) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NS-0007RY-MU for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 11:14:55 -0500 Received: by mail-lf1-x130.google.com with SMTP id 2adb3069b0e04-5100c3f7df1so3911110e87.0 for <68714@debbugs.gnu.org>; Thu, 25 Jan 2024 08:14:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706199283; x=1706804083; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=WHQPluHBd2Q3Xq2tluG6lkwl0/wxzENIkCvoGAemI1o=; b=mjEVoqopkiWjXGM5H+fENfLRAdSqYR4nbZCuPSEYeiGHis6tejLyf4j4GwN1PccSrG ndAw5AzLp7sCLdGTKqsN+AOA6n0Q8dnEwAzTqdQvQjiK8yGFVigooWhLWitIDy/fJGTw YsjXoopETI86DvNa7bO8prP4mt1wxdndPW7OviQwKbCsiZssoPlJlxFSHtLoljCrycDH LNTre9nww/mLVhO84UqskoIgL7CB7xg+6LCxFq/esEEwMTDrGb2PrtoZeX/1/IgrBjId PiQftOFqOk8y50ZEyZ8Zs9heNuB9wLWBpQ/1s+aC6l/2H4eK6AxYQnAsyquUrW5rzV/l fDpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706199283; x=1706804083; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=WHQPluHBd2Q3Xq2tluG6lkwl0/wxzENIkCvoGAemI1o=; b=mipNGAyRyzYaGr0c+Tichtstco3Jw/BhIpQM+Ew3U/noc8sTDnt1bUm7Yy+rCsVnQW heNtKSsbO//oDlal/N+Pmj4mJkjLe72hoG8ft0gxLUkmD2bWXgx6vhjgo2AX778aMxA2 +tdO5PFWsYT6JJmKjQsu8SU5GzV9odkhTD7TacmygLUkx8CeIe8zPbRchNlEW08BChb4 ErGRvjJOQOtRFvGOQHeCNaH5tgWtIO2ZucW4/G1th+JGqxOuhd9BAuyA6PVwqN/pHzPS nBbmCAVuKzvg5WxfN/RgmE2Lu5VC2s2LK0+l1Unb1jNjcskXgT3yhQ0XvA/RK7CmDK// rasg== X-Gm-Message-State: AOJu0Yx8fhMaDnhXYxgsA0PQLQP/qnNSbQMj1109nOF6XsEMX681QXmN jIATW1+CP3FtUX76FROIA6rCqY+QXLH2ZaALXleY2vnfzAGyETdFg8KastSy X-Google-Smtp-Source: AGHT+IEK3+UIBp7WEWkTLX2+f/t+udNjX1RQ0M3drlGsfchxYPvzZVGW/wbS+QcSMPU9ptyk+tDK6g== X-Received: by 2002:a2e:9206:0:b0:2cf:32d3:3075 with SMTP id k6-20020a2e9206000000b002cf32d33075mr1092370ljg.61.1706199282423; Thu, 25 Jan 2024 08:14:42 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id vx10-20020a170907a78a00b00a3162e76a6csm1026885ejc.215.2024.01.25.08.14.42 for <68714@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 08:14:42 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:44:44 +0100 Subject: [PATCH 2/4] gnu: python-clorm: Reindent with emacs. to: 68714@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.8 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-clorm): Reindent with emacs. --- gnu/packages/potassco.scm | 58 +++++++++++++++++++ 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index afc4c4d513..0ec6253099 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -406,38 +406,38 @@ (define-pub [...] Content analysis details: (1.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: potassco.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: potassco.org] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:130 listed in] [list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 68714 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.8 (/) * gnu/packages/potassco.scm (python-clorm): Reindent with emacs. --- gnu/packages/potassco.scm | 58 +++++++++++++++++++-------------------- 1 file changed, 29 insertions(+), 29 deletions(-) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index afc4c4d513..0ec6253099 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -406,38 +406,38 @@ (define-public python-clingo-dl (define-public python-clorm (package - (name "python-clorm") - (version "1.4.1") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/potassco/clorm") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) - (build-system pyproject-build-system) - (arguments - (list #:phases - #~(modify-phases %standard-phases - (add-before 'check 'fix-breaking-tests - (lambda _ - ;; noclingo tests rely on this being set - (setenv "CLORM_NOCLINGO" "1") - (delete-file "tests/test_mypy_query.py") - (substitute* "tests/test_clingo.py" - (("self\\.assertTrue\\(os_called\\)" all) - (string-append "# " all)))))))) - (propagated-inputs (list python-clingo)) - (native-inputs (list python-typing-extensions)) - (home-page "https://potassco.org") - (synopsis "Object relational mapping to clingo") - (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, + (name "python-clorm") + (version "1.4.1") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clorm") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "0jx99y71mrgdicn1da5dwz5nzgvvpabrikff783sg4shbv2cf0b5")))) + (build-system pyproject-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-before 'check 'fix-breaking-tests + (lambda _ + ;; noclingo tests rely on this being set + (setenv "CLORM_NOCLINGO" "1") + (delete-file "tests/test_mypy_query.py") + (substitute* "tests/test_clingo.py" + (("self\\.assertTrue\\(os_called\\)" all) + (string-append "# " all)))))))) + (propagated-inputs (list python-clingo)) + (native-inputs (list python-typing-extensions)) + (home-page "https://potassco.org") + (synopsis "Object relational mapping to clingo") + (description "@acronym{Clorm, Clingo ORM} provides an @acronym{ORM, Object Relational Mapping} interface to the @acronym{ASP, answer set programming} solver clingo. Its goal is to make integration of clingo into Python programs easier.") - (license license:expat))) + (license license:expat))) (define-public python-telingo (package -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 11:15:00 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 16:15:00 +0000 Received: from localhost ([127.0.0.1]:48974 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NY-0007SA-5k for submit@debbugs.gnu.org; Thu, 25 Jan 2024 11:15:00 -0500 Received: from mail-lj1-x231.google.com ([2a00:1450:4864:20::231]:52376) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT2NS-0007RZ-To for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 11:14:55 -0500 Received: by mail-lj1-x231.google.com with SMTP id 38308e7fff4ca-2cd33336b32so93156051fa.0 for <68714@debbugs.gnu.org>; Thu, 25 Jan 2024 08:14:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706199283; x=1706804083; darn=debbugs.gnu.org; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :from:to:cc:subject:date:message-id:reply-to; bh=dWohe1Cppb3tmU97J+Nf5Zrpa5aicjvatuyNzph0Aeo=; b=PD4AqR01XdCaEImer9PdSkAyHFeILVICprLeo+O2CJU5Rj29NrHkBjZUCP+3p74iu6 w47UXTK0q3icdHfzj0ORcppyA5txXkaCAqWbElF8ZKGwgd0AnJBpxWBDSTJqaVFL0MAC vd5HEXY60aUYFu3wnGrZ1Vxd1/uWp6wfHitCGsl6NFfwpOpUwmBFve1rNm9ElqhUR0c5 llWgpAGc0a3GIApMZcJTR8z8h5kz/usY96JHVVtuOAXxwB19fRuiW1aGJW4vtvCTlz8W 8J3e7tpxSB4KQZ1vqrtNisdoyZ+2wPQU76FG5escjNLL953MqLp61Rg4WOzeNTvxiTO/ wrTw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706199283; x=1706804083; h=mime-version:to:subject:date:from:references:in-reply-to:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=dWohe1Cppb3tmU97J+Nf5Zrpa5aicjvatuyNzph0Aeo=; b=XeoGeGVEV36wSKhUUa5uZALrSkhQSJ8Q5QRbFqU1++UuzizoSoHtiWLXc9W1j9hv1w FJkIxwMYZ0gm2mGHUEqv3RBA8HzLjHb8ineaQ3Rw/xBIIpM3Lj25PM+8z6Wn9RygHb8v 16Ie8snym8D8MjQ413/lx6J7Fbr5a6GOpahdFFfac6Br41RaGlYqlNtrtvbeeTByHBp3 7KuiXcPBamG5hah3D60D7AwH+IYD+cP2nRsRQ8Ccm2S3wzQ2HhQeTlP6H0AshQ7lXdM5 akM/viD25KPzPPi7nqkL9gA0IEc/JmwvkN8SQx93LNSE2U2efUTE3f3OVhld6VYoMqlG spgA== X-Gm-Message-State: AOJu0Yxw0ccMLDGsS4Zr/ouultF3h6Rlp1/lvTzQt2HDK+YSQUqcdSHK uyFaudqrnkJbcEZVh9z56aMeXUUfOO3goX39HZKTycY+Ubu9K+24V1aKjEHU X-Google-Smtp-Source: AGHT+IG8HVAeUt6TtyywLgOvaUTlM1LR94NWWcZbXXRJosPYIpZI+LVgW9qVKRhccbME8J9pZY4ikQ== X-Received: by 2002:a2e:90c3:0:b0:2cc:ea5b:ba6b with SMTP id o3-20020a2e90c3000000b002ccea5bba6bmr604722ljg.26.1706199283010; Thu, 25 Jan 2024 08:14:43 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id vx10-20020a170907a78a00b00a3162e76a6csm1026885ejc.215.2024.01.25.08.14.42 for <68714@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 08:14:42 -0800 (PST) Message-ID: In-Reply-To: References: From: Liliana Marie Prikler Date: Thu, 25 Jan 2024 10:46:07 +0100 Subject: [PATCH 3/4] gnu: Add python-plingo. to: 68714@debbugs.gnu.org MIME-Version: 1.0 X-Spam-Score: 1.8 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: * gnu/packages/potassco.scm (python-plingo): New variable. --- gnu/packages/potassco.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 0ec6253099..81d7cfa7e2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -439,6 +439,44 @@ (define-publ [...] Content analysis details: (1.8 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.1 URIBL_SBL_A Contains URL's A record listed in the Spamhaus SBL blocklist [URIs: potassco.org] 0.6 URIBL_SBL Contains an URL's NS IP listed in the Spamhaus SBL blocklist [URIs: potassco.org] -0.0 SPF_PASS SPF: sender matches SPF record 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (liliana.prikler[at]gmail.com) -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:231 listed in] [list.dnswl.org] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 68714 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.8 (/) * gnu/packages/potassco.scm (python-plingo): New variable. --- gnu/packages/potassco.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 0ec6253099..81d7cfa7e2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -439,6 +439,44 @@ (define-public python-clorm into Python programs easier.") (license license:expat))) +(define-public python-plingo + (package + (name "python-plingo") + (version "1.0.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/plingo") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1mp0pdjzwpl7bpba20iwszx9x49gsyl2rhrp7w7xpwjqdjrp23r8")))) + (build-system pyproject-build-system) + (arguments + (list #:phases + #~(modify-phases %standard-phases + (add-after 'install 'install-script + (lambda* (#:key outputs #:allow-other-keys) + (let ((script (string-append (assoc-ref outputs "out") + "/bin/plingo"))) + (mkdir-p (dirname script)) + (call-with-output-file script + (lambda (port) + (display "#!/usr/bin/env python\n" port) + (display "from plingo import main\n" port) + (display "main()\n" port))) + (chmod script #o755) + ;; XXX: Does this cross-compile? + (patch-shebang script))))))) + (propagated-inputs (list python-clingo)) + (home-page "https://potassco.org/") + (synopsis "Solve probabilistic logic programs") + (description "This package provides a system to solve probabilistic +logic programs with clingo. It can solve the reasoning tasks of finding +the most probable model as well as finding all models and their probabilities.") + (license license:expat))) + (define-public python-telingo (package (name "python-telingo") -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Thu Jan 25 17:27:39 2024 Received: (at 68714) by debbugs.gnu.org; 25 Jan 2024 22:27:40 +0000 Received: from localhost ([127.0.0.1]:49480 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT8CB-0003Zd-I5 for submit@debbugs.gnu.org; Thu, 25 Jan 2024 17:27:39 -0500 Received: from mail-wr1-x433.google.com ([2a00:1450:4864:20::433]:45314) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rT8C9-0003ZP-EP for 68714@debbugs.gnu.org; Thu, 25 Jan 2024 17:27:38 -0500 Received: by mail-wr1-x433.google.com with SMTP id ffacd0b85a97d-339289fead2so6144931f8f.3 for <68714@debbugs.gnu.org>; Thu, 25 Jan 2024 14:27:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706221645; x=1706826445; darn=debbugs.gnu.org; h=mime-version:message-id:date:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=s0N2TFJd8TV8GMx2Civ7FYBmThZyZkPAaA+LvlN9qj4=; b=Bov6dP6KEfZIQH7p/vsG2ixVHTbQsEIgKsmQ9FKH32vIUYriMtOsJgZN8tIfgiAlQm QNs5lNl23DyNgEADLFXXfneiEeD2RXrLKtWp3F3hpJZJV5sXNklFg/+iUfFON71Af7lk W7SmLye3FNSW1OmkPXTztNwBNpr72FNHRo0yTmZHkPz6O4HJhpiSCGXlOkjBN8B4f8GG Rsa2Jvt0f8r1aIv4+u4oIiLrdReo9DwrhlWq6cJJ4CWrjMP17rMsZlumnEzJnLEKzCIB d/g/MeazloWUCd8n8306CidFNcrQbrn9kt9gI1cfUiV0ce0yHoXdeJTbZSR2IMwjTbtR WhIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706221645; x=1706826445; h=mime-version:message-id:date:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=s0N2TFJd8TV8GMx2Civ7FYBmThZyZkPAaA+LvlN9qj4=; b=KRldgWKvzEC+16Ki5xYd6M4NpKs2WQx//BulKL+YDogNLodSDrtfHTgwdX0bAgcmm/ nI1sT6QNxAkXU0zgtwbPYmZv9iHoMuyaK/hj+xNm1aO5/vudewFqtZGWalsQUl6rMjgj Qr8XrEyPgC7JIZCaCq35ZxYJOiPWeoaI81N9s1HoIvamxvBs+MCPSuIMcjIWxdncis8I bYS6Nvzg5IhIysQH7ru/UsWCEbGhi7apZ/rknVB34SJwMTtxtUue/RPAwngB1ow9KvQR TmGCdQP7cvURgqBaw51f248DY1GxImjeQFXEjARSsbq5DD1jX8NS2rSk8AR9R0Q7qFBb PN4Q== X-Gm-Message-State: AOJu0YxGI2siEZEOi5GS/9/KiAXhl9nwsdUe8jAsFKfROYary0/S3J2Y 7taYe/cK81s3J3gLJcWLb1InSzeo8ldLtQJ5gmz9poNR1/HhxIfGLm2wofMdkJ4= X-Google-Smtp-Source: AGHT+IG1myHMgWrV9TNjDLpmRgy1lhgGVtlDPbnOq7Y2x5CyMaLlhXB1jXdC3fiNt8JO6jIEswwiEw== X-Received: by 2002:adf:f48a:0:b0:339:237a:2758 with SMTP id l10-20020adff48a000000b00339237a2758mr210939wro.45.1706221644808; Thu, 25 Jan 2024 14:27:24 -0800 (PST) Received: from guxtil (cpc100856-bagu15-2-0-cust368.1-3.cable.virginm.net. [82.25.93.113]) by smtp.gmail.com with ESMTPSA id m15-20020adfa3cf000000b00337be1c7d2fsm18642874wrb.58.2024.01.25.14.27.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 14:27:24 -0800 (PST) From: Sharlatan Hellseher To: 68714@debbugs.gnu.org Subject: [PATCH 0/5] Update flint to 3.0.1 Date: Thu, 25 Jan 2024 22:27:02 +0000 Message-ID: <87o7d9jbgp.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 Cc: liliana.prikler@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Hi Liliana, Was your patch series sent by mistake to this issue :-)? I see this one is open without patches: [PATCH 0/4] More clingo stuff. https://issues.guix.gnu.org/68713 Thanks, Oleg --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEmEeB3micIcJkGAhndtcnv/Ys0rUFAmWy4DYACgkQdtcnv/Ys 0rUClA//TCjn2XIqyuj/4zsT+IXs4Jqbex4u9fIEQEYaSoLX62KYeeMH48wHxPmF f+swMgQNuO5WDAAbFNkv7LTf2JlUhwkH8Kjm4RrIujjMMelXT4fmgd9HkxePcIrC bHgFtZhodFX2364gNUi1tl8hfro+6Eya4P15EDUl8OmkgXTjxzSrQHqefRSZd0Vb BhvDye2r4/LU0Obt+aIaYV9zR/fSfp0HdbsVGM7uiAJC3IaiEvKMD1aZMbaWQWDd QvzR5LKs6gZcsi/6xNc4ckLfWYoRvGvoTVpzvw/FZ3GSf9u8k+yKlhL2VJNegtK1 ZBSVBXw9/jJ2fNuRn0FHvmtupM4JVe372OMgZCEKXn4qE+mmY7VOHLjdgM4A5FcE KH3NKBbk0kA+MtsFdWg6KPpeKjetCa4ZljGvTjZ+G+FVgV0VjAyzJxTSwDOuHd6u sDuLYw8GLUeTaRnimfdwLQj19Vc86ExmNYv3sd0SUorBVvtYmW55jWsF9rr1Rb1G d7aame8CevwRw8K2VEAD6hS3anCmTw6natMozyBmo8CxTMxhjgVz9WhE284weXDo 4QlTe6fFNnTSBrbBxWAddqXP3aVhBkIcdBWGj8pFFLtv6MqNe2b1my6MRwdkwRXs VWuuENO7Q2QwMUzqnmwwTSzoPE9+xUJdfdHX0gbrOyj1w01+ejo= =OITd -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 26 00:21:34 2024 Received: (at 68714) by debbugs.gnu.org; 26 Jan 2024 05:21:34 +0000 Received: from localhost ([127.0.0.1]:49900 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEej-00011w-Tq for submit@debbugs.gnu.org; Fri, 26 Jan 2024 00:21:34 -0500 Received: from mail-ed1-x541.google.com ([2a00:1450:4864:20::541]:45517) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTEeh-00011i-Ib for 68714@debbugs.gnu.org; Fri, 26 Jan 2024 00:21:32 -0500 Received: by mail-ed1-x541.google.com with SMTP id 4fb4d7f45d1cf-55a3a875f7fso8058673a12.3 for <68714@debbugs.gnu.org>; Thu, 25 Jan 2024 21:21:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706246479; x=1706851279; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=1uo+2XsY+hGxMza4q9yeG4U0zeXtrkVqRjubrL90mOM=; b=mCdfj/4ITZcApCyLhzT/6xErrRrXEl9SIOZhNBkVpSMSq315GSmdLvLMh2ctL81cWl Scnt5ahONN0UrM/cXa87H6TATBBJ++tIEdCVWCiY8+mI7fTh/VzRMlPdBhzkbApL5rJ+ PZHetoQdegIVDshpnwCzARhr7IragQsik0+fYsdyLMzfDL7GofA1qAvQ/E5Vod/0mXkP 6eW3mjRp4Ouh+70w+1XC5SvEgZoNFRHUFgM9/+/G+JHsSNKRzMQKm7HD3kBkoAOX0Wp8 GOhixEI8c4QWrcxazztFy0c114IXqUbtI1gNwNDCiF4jw0AW7Oi8DZsZ1IRUGOau4llF zlnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706246479; x=1706851279; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=1uo+2XsY+hGxMza4q9yeG4U0zeXtrkVqRjubrL90mOM=; b=Wi9+cwUIqcj9kpv0pZYP6urFEg3t5MmreBmdmOD3ckM6azr3bYoAelQWM3KOhtBk2V BcOjSgh3gHDaQjg5UVBIO0onLRWDHoanAWpZgvUVi4fTevZiUVomC9VGp5YGGCrOGTzW amhU2h8uexs5EEdWrJr1NQnV8aMusOkYqBRinRfvk2h90kA0YBaQM0iwHpl37Ygc56A+ Bos8Mkjr0bL/SE3Bh2qmmmIegwJryO8eoVK3xlGY6jRar1IZW0vEbunJLTiPNqhyXIHV J16r2X92zOlonN29xKqd1IRUZrw4obCZlI6hCH6GZVk6w5+jHb+4Ryj7Ursk/Q5oxIP0 C+AA== X-Gm-Message-State: AOJu0YxCp4ehie+cgbN4fuEfgXDR+kX58X1+UR/Z4wWbMCr05dzA7ry+ EleG7XA6sxNne4BS/+dRiz/8uGRDuV6kK5LOzRu0IWBis0+D8O7f X-Google-Smtp-Source: AGHT+IGbyj4wLQEFQNolYFf7FcwPgeHMrqiy/00eNxv3yfKowPQuhAtR/JXu8YWUDrzDnFcCC2Iw3g== X-Received: by 2002:a17:906:4756:b0:a31:3208:87a5 with SMTP id j22-20020a170906475600b00a31320887a5mr314540ejs.37.1706246479303; Thu, 25 Jan 2024 21:21:19 -0800 (PST) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id my28-20020a1709065a5c00b00a28fa7838a1sm221951ejc.172.2024.01.25.21.21.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 25 Jan 2024 21:21:18 -0800 (PST) Message-ID: <7215f949b96061bf96eb339f65ee86e47b8a31c1.camel@gmail.com> Subject: Re: [PATCH 0/5] Update flint to 3.0.1 From: Liliana Marie Prikler To: Sharlatan Hellseher , 68714@debbugs.gnu.org Date: Fri, 26 Jan 2024 06:21:17 +0100 In-Reply-To: <87o7d9jbgp.fsf@gmail.com> References: <87o7d9jbgp.fsf@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4 MIME-Version: 1.0 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Donnerstag, dem 25.01.2024 um 22:27 +0000 schrieb Sharlatan Hellseher: >=20 > Hi Liliana, >=20 > Was your patch series sent by mistake to this issue :-)? >=20 > I see this one is open without patches: >=20 > [PATCH 0/4] More clingo stuff. > https://issues.guix.gnu.org/68713 >=20 > Thanks, > Oleg Yes, sorry. To unconfuse CI, if it's currently confused, you might want to send your v1 as v2. Cheers From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 26 04:24:54 2024 Received: (at 68714-done) by debbugs.gnu.org; 26 Jan 2024 09:24:54 +0000 Received: from localhost ([127.0.0.1]:50432 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTISE-00080m-Hm for submit@debbugs.gnu.org; Fri, 26 Jan 2024 04:24:54 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:43048) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rTISC-00080W-84 for 68714-done@debbugs.gnu.org; Fri, 26 Jan 2024 04:24:52 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 7440A116F; Fri, 26 Jan 2024 10:24:39 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id pluyIxgr4AV7; Fri, 26 Jan 2024 10:24:39 +0100 (CET) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0::c64]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 08775F9A; Fri, 26 Jan 2024 10:24:38 +0100 (CET) Date: Fri, 26 Jan 2024 10:24:37 +0100 From: Andreas Enge To: 68714-done@debbugs.gnu.org Subject: Done Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 68714-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Merged. Andreas From unknown Sat Jun 21 05:17:31 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 23 Feb 2024 12:24:10 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator