01/02: gnu: python-pycosat: Update to 0.6.3.

[guix-commits]

rekado pushed a commit to branch master
in repository guix.

commit c9ec3c0763c668807dec74c6049a63883bb3aaec
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Wed Aug 12 23:35:08 2020 +0200

    gnu: python-pycosat: Update to 0.6.3.
    
    * gnu/packages/python-xyz.scm (python-pycosat): Update to 0.6.3.
---
 gnu/packages/python-xyz.scm | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 50c36a1..9d27a48 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