diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2025-02-02 16:59:05 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2025-02-02 17:05:46 -0500 |
| commit | 4fccad83875cf8f5846b181525f814ce5c240ef9 (patch) | |
| tree | 5e0113ecbe52a447d772b2c8865264c1b72a68b5 /gnu/packages/python-xyz.scm | |
| parent | ad59a0c88bac673e1267d928fdfe2e83858d2839 (diff) | |
gnu: python-pysmt: Update to 0.9.6.
* gnu/packages/python-xyz.scm (python-pysmt): Update to 0.9.6.
[source]: Remove obsolete patches.
* gnu/packages/patches/python-pysmt-fix-pow-return-type.patch,
gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch:
Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
Change-Id: I3772e8b118f122ddd66644a459a483183ef89193
Reviewed-by: Nicolas Graves <ngraves@ngraves.fr>
Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/python-xyz.scm')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index d042717f15..b4c6e250a7 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -161,6 +161,7 @@ ;;; Copyright © 2024 Markku Korkeala <markku.korkeala@iki.fi> ;;; Copyright © 2025 Jordan Moore <lockbox@struct.foo> ;;; Copyright © 2025 Dariqq <dariqq@posteo.net> +;;; Copyright © 2025 Nguyễn Gia Phong <mcsinyx@disroot.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -36101,19 +36102,17 @@ SMT solvers and is built on top of the Z3 solver.") (define-public python-pysmt (package (name "python-pysmt") - (version "0.9.5") + (version "0.9.6") (source (origin ;; Fetching from Git as pypi release doesn't include all test files. (method git-fetch) - (patches (search-patches "python-pysmt-fix-pow-return-type.patch" - "python-pysmt-fix-smtlib-serialization-test.patch")) (uri (git-reference (url "https://github.com/pysmt/pysmt") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0hrxv23y5ip4ijfx5pvbwc2fq4zg9jz42wc9zqgqm0g0mjc9ckvh")))) + (base32 "0jiw8pa6hfh9ajr953q187qgpdnk3bvaa3wmrxs8ilw5jc41sq8y")))) (build-system pyproject-build-system) (arguments `(#:phases (modify-phases %standard-phases |