diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-10-25 16:57:21 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-10-29 00:05:48 +0000 |
| commit | f29e074e0e9c5560e95099375227a6e25ceff214 (patch) | |
| tree | 9368435de85ed7d33871bc50a576a332bceeb785 /gnu | |
| parent | c00ea82746e421bd62f4f69429447d195a7c5058 (diff) | |
gnu: python-pycosat: Update to 0.6.6.
* gnu/packages/python-xyz.scm (python-pycosat): Update to 0.6.6.
[source]: Switch to git-fetch.
[build-system]: Switch to pyproject-build-system.
[arguments]<#:test-backend>: Set it.
[native-inputs]: Add python-setuptools.
[description]: Improve style.
Change-Id: I247ddc4a3dad65fe862c65b44a04fdad03d1f0b7
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/python-xyz.scm | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 491aa3072f8..632a4448c27 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -24344,25 +24344,27 @@ can even create animations with the cursor controls.") (define-public python-pycosat (package (name "python-pycosat") - (version "0.6.3") + (version "0.6.6") (source (origin - (method url-fetch) - (uri (pypi-uri "pycosat" version ".zip")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/ContinuumIO/pycosat") + (commit version))) + (file-name (git-file-name name version)) (sha256 - (base32 - "1vg0f2fwcybpdqv92z0hwdl603n2safh3fqvjjxkksd78r4qg6ac")))) + (base32 "1p62d7fqny4ayr218lshrp35g75ljaxlgza9yr2hm44aqggvmqbw")))) ;; TODO: Unundle picosat. http://fmv.jku.at/picosat/ - (build-system python-build-system) - (native-inputs - (list unzip)) + (build-system pyproject-build-system) + (arguments (list #:test-backend #~'unittest)) + (native-inputs (list unzip python-setuptools)) (home-page "https://github.com/ContinuumIO/pycosat") (synopsis "Bindings to picosat (a SAT solver)") (description - "This package provides efficient Python bindings to @code{picosat} on - the C level. When importing pycosat, the @code{picosat} solver becomes part - of the Python process itself. @code{picosat} is a @dfn{Boolean Satisfiability - Problem} (SAT) solver.") + "This package provides efficient Python bindings to @code{picosat} on the +C level. When importing pycosat, the @code{picosat} solver becomes part of +the Python process itself. @code{picosat} is a @dfn{Boolean Satisfiability +Problem} (SAT) solver.") (license license:expat))) (define-public python-pypeg2 |