diff options
| -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 |