summary refs log tree commit diff
path: root/gnu/packages
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2020-08-12 23:35:08 +0200
committerRicardo Wurmus <rekado@elephly.net>2020-08-12 23:35:08 +0200
commitc9ec3c0763c668807dec74c6049a63883bb3aaec (patch)
treed60cd2867c6af21021869b5d9d788c26858cea69 /gnu/packages
parentbcdc61bfa1b4800f19c985dd73ad2d5a696e5307 (diff)
downloadguix-c9ec3c0763c668807dec74c6049a63883bb3aaec.tar.gz
gnu: python-pycosat: Update to 0.6.3.
* gnu/packages/python-xyz.scm (python-pycosat): Update to 0.6.3.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/python-xyz.scm8
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