diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-08-12 23:35:08 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-08-12 23:35:08 +0200 |
| commit | c9ec3c0763c668807dec74c6049a63883bb3aaec (patch) | |
| tree | d60cd2867c6af21021869b5d9d788c26858cea69 | |
| parent | bcdc61bfa1b4800f19c985dd73ad2d5a696e5307 (diff) | |
| download | guix-patches-c9ec3c0763c668807dec74c6049a63883bb3aaec.tar guix-patches-c9ec3c0763c668807dec74c6049a63883bb3aaec.tar.gz | |
gnu: python-pycosat: Update to 0.6.3.
* gnu/packages/python-xyz.scm (python-pycosat): Update to 0.6.3.
| -rw-r--r-- | gnu/packages/python-xyz.scm | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm index 50c36a1e03..9d27a480df 100644 --- a/gnu/packages/python-xyz.scm +++ b/gnu/packages/python-xyz.scm @@ -14392,16 +14392,18 @@ through a Python API.") (define-public python-pycosat (package (name "python-pycosat") - (version "0.6.1") + (version "0.6.3") (source (origin (method url-fetch) - (uri (pypi-uri "pycosat" version)) + (uri (pypi-uri "pycosat" version ".zip")) (sha256 (base32 - "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l")))) + "1vg0f2fwcybpdqv92z0hwdl603n2safh3fqvjjxkksd78r4qg6ac")))) ;; TODO: Unundle picosat. http://fmv.jku.at/picosat/ (build-system python-build-system) + (native-inputs + `(("unzip" ,unzip))) (home-page "https://github.com/ContinuumIO/pycosat") (synopsis "Bindings to picosat (a SAT solver)") (description |