[PATCH 1/6] gnu: Add python-rst2ansi

[PATCH 1/6] gnu: Add python-rst2ansi

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-rst2ansi): New variable.
---
 gnu/packages/python.scm | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index d53eea1..b57e9a7 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12536,3 +12536,26 @@ console.")
 This implementation is slow (hence the project name) but still useful when
 faster ones are not available.")
     (license license:asl2.0)))
+
+(define-public python-rst2ansi
+  (package
+    (name "python-rst2ansi")
+    (version "0.1.5")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "rst2ansi" version))
+       (sha256
+        (base32
+         "0vzy6gd60l79ff750scl0sz48r1laalkl6md6dwzah4dcadgn5qv"))))
+    (build-system python-build-system)
+    (native-inputs
+     `(("python-docutils" ,python-docutils)))
+    (home-page
+     "https://github.com/Snaipe/python-rst-to-ansi")
+    (synopsis
+     "Python rst converter to ansi-decorated console output")
+    (description
+     "Python module dedicated to rendering RST (reStructuredText) documents to
+ ansi-escaped strings suitable for display in a terminal")
+    (license license:expat)))
-- 
2.1.4

[PATCH 2/6] gnu: Add python-flake8-polyfill

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-flake8-polyfill): New variable.
---
 gnu/packages/python.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index b57e9a7..b39d8b1 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12559,3 +12559,24 @@ faster ones are not available.")
      "Python module dedicated to rendering RST (reStructuredText) documents to
  ansi-escaped strings suitable for display in a terminal")
     (license license:expat)))
+
+(define-public python-flake8-polyfill
+  (package
+    (name "python-flake8-polyfill")
+    (version "1.0.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "flake8-polyfill" version))
+       (sha256
+        (base32
+         "02gn2wxvh9vnf7m7dld7ca4l60mg5c370hv3swwppkngwaqmcw67"))))
+    (build-system python-build-system)
+    (inputs
+     `(("python-flake8" ,python-flake8)))
+    (home-page "https://gitlab.com/pycqa/flake8")
+    (synopsis "Polyfill package for Flake8 plugins")
+    (description
+     "This package that provides some compatibility helpers for Flake8 plugins that
+ intend to support Flake8 2.x and 3.x simultaneously")
+    (license license:expat)))
-- 
2.1.4

[PATCH 3/6] gnu: Add python-ddt

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-ddt): New variable.
---
 gnu/packages/python.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index b39d8b1..44704b2 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12580,3 +12580,28 @@ faster ones are not available.")
      "This package that provides some compatibility helpers for Flake8 plugins that
  intend to support Flake8 2.x and 3.x simultaneously")
     (license license:expat)))
+
+(define-public python-ddt
+  (package
+    (name "python-ddt")
+    (version "1.1.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "ddt" version))
+       (sha256
+        (base32
+         "1c00ikkxr7lha97c81k938bzhgd4pbwamkjn0h4nkhr3xk00zp6n"))))
+    (build-system python-build-system)
+    (native-inputs
+     `(("python-mock" ,python-mock)
+       ("python-nose" ,python-nose)))
+    (inputs
+     `(("python-six" ,python-six)
+       ("python-pyyaml" ,python-pyyaml)))
+    (home-page "https://github.com/txels/ddt")
+    (synopsis "Data-Driven/Decorated Tests")
+    (description "DDT (Data-Driven Tests) allows you to multiply one test case by running
+ it with different test data, and make it appear as multiple test cases")
+    (license (license:non-copyleft
+              "https://github.com/txels/ddt/blob/master/LICENSE.md"))))
-- 
2.1.4

[PATCH 4/6] gnu: Add python-pycosat

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-pycosat): New variable.
---
 gnu/packages/python.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 44704b2..170107a 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12605,3 +12605,23 @@ faster ones are not available.")
  it with different test data, and make it appear as multiple test cases")
     (license (license:non-copyleft
               "https://github.com/txels/ddt/blob/master/LICENSE.md"))))
+
+(define-public python-pycosat
+  (package
+    (name "python-pycosat")
+    (version "0.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "pycosat" version))
+       (sha256
+        (base32
+         "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l"))))
+    (build-system python-build-system)
+    (home-page
+     "https://github.com/ContinuumIO/pycosat")
+    (synopsis "Bindings to picosat (a SAT solver)")
+    (description
+     "This package provides efficient Python bindings to picosat on the C level, i.e.
+ when importing pycosat, the picosat solver becomes part of the Python process itself")
+    (license license:expat)))
-- 
2.1.4

[PATCH 5/6] gnu: Add python-typing

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-typing): New variable.
---
 gnu/packages/python.scm | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 170107a..ef3d9bd 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12625,3 +12625,23 @@ faster ones are not available.")
      "This package provides efficient Python bindings to picosat on the C level, i.e.
  when importing pycosat, the picosat solver becomes part of the Python process itself")
     (license license:expat)))
+
+(define-public python-typing
+  (package
+    (name "python-typing")
+    (version "3.5.3.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "typing" version))
+       (sha256
+        (base32
+         "08gz3grrh3vph5ib1w5x1ssnpzvj077x030lx63fxs4kwg3slbfa"))))
+    (build-system python-build-system)
+    (home-page
+     "https://docs.python.org/3.5/library/typing.html")
+    (synopsis "Type Hints for Python")
+    (description "This module supports type hints as specified by PEP 484.  The most
+ fundamental support consists of the types Any, Union, Tuple, Callable, TypeVar, and
+ Generic.  For full specification please see PEP 484")
+    (license license:psfl)))
-- 
2.1.4

[PATCH 6/6] gnu: Add python-ruamel.ordereddict

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-ruamel.ordereddict): New variable.
---
 gnu/packages/python.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index ef3d9bd..e1e4e74 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12645,3 +12645,31 @@ faster ones are not available.")
  fundamental support consists of the types Any, Union, Tuple, Callable, TypeVar, and
  Generic.  For full specification please see PEP 484")
     (license license:psfl)))
+
+(define-public python-ruamel.ordereddict
+  (package
+    (name "python-ruamel.ordereddict")
+    (version "0.4.9")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "ruamel.ordereddict" version))
+       (sha256
+        (base32
+         "1xmkl8v9l9inm2pyxgc1fm5005yxm7fkd5gv74q7lj1iy5qc8n3h"))))
+    (build-system python-build-system)
+    (arguments
+     `(#:python ,python-2))
+    (home-page
+     "https://bitbucket.org/ruamel/ordereddict")
+    (synopsis
+     "Version of dict that keeps keys in insertion resp. sorted order")
+    (description
+     "This is an implementation of an ordered dictionary with Key Insertion Order (KIO:
+ updates of values do not affect the position of the key), Key Value Insertion Order
+ (KVIO, an existing key's position is removed and put at the back).  The standard library
+ module OrderedDict, implemented later, implements a subset of ordereddict functionality.
+Sorted dictionaries are also provided.  Currently only with Key Sorted Order (KSO, no
+ sorting function can be specified, but a transform can be specified to apply on the key
+ before comparison (e.g. string.lower))")
+    (license license:expat)))
-- 
2.1.4

Re: [PATCH 1/6] gnu: Add python-rst2ansi

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 2086 bytes --]

Hi Muriithi,

Thank you for these patches! I will respond to them individually.

They look good for the most part, but need some tiny tweaks that breaks
the patch context. In particular, descriptions should end with a period,
but if I add that to one patch, the next does not apply!

Normally I would simply amend these commits while applying them, so
please excuse the nit-picking.

Could you also add a copyright notice for yourself at the top of
python.scm with the first commit?

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-rst2ansi): New variable.
> ---
>  gnu/packages/python.scm | 23 +++++++++++++++++++++++
>  1 file changed, 23 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index d53eea1..b57e9a7 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12536,3 +12536,26 @@ console.")
>  This implementation is slow (hence the project name) but still useful when
>  faster ones are not available.")
>      (license license:asl2.0)))
> +
> +(define-public python-rst2ansi
> +  (package
> +    (name "python-rst2ansi")
> +    (version "0.1.5")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "rst2ansi" version))
> +       (sha256
> +        (base32
> +         "0vzy6gd60l79ff750scl0sz48r1laalkl6md6dwzah4dcadgn5qv"))))
> +    (build-system python-build-system)
> +    (native-inputs
> +     `(("python-docutils" ,python-docutils)))

This should be a propagated-input, since rst2ansi needs docutils at
runtime.

> +    (home-page
> +     "https://github.com/Snaipe/python-rst-to-ansi")

The newline here is not necessary.

> +    (synopsis
> +     "Python rst converter to ansi-decorated console output")

"Convert RST to ANSI-decorated console output".

> +    (description
> +     "Python module dedicated to rendering RST (reStructuredText) documents to
> + ansi-escaped strings suitable for display in a terminal")

All descriptions should end with a "." as mentioned above.
`guix lint python-rst2ansi` should warn about this.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 2/6] gnu: Add python-flake8-polyfill

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1644 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-flake8-polyfill): New variable.
> ---
>  gnu/packages/python.scm | 21 +++++++++++++++++++++
>  1 file changed, 21 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index b57e9a7..b39d8b1 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12559,3 +12559,24 @@ faster ones are not available.")
>       "Python module dedicated to rendering RST (reStructuredText) documents to
>   ansi-escaped strings suitable for display in a terminal")
>      (license license:expat)))
> +
> +(define-public python-flake8-polyfill
> +  (package
> +    (name "python-flake8-polyfill")
> +    (version "1.0.1")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "flake8-polyfill" version))
> +       (sha256
> +        (base32
> +         "02gn2wxvh9vnf7m7dld7ca4l60mg5c370hv3swwppkngwaqmcw67"))))
> +    (build-system python-build-system)
> +    (inputs
> +     `(("python-flake8" ,python-flake8)))

This should be either a native-input (e.g. if necessary for tests), or
propagated-input (if it's imported at runtime).

> +    (home-page "https://gitlab.com/pycqa/flake8")

I believe this should be https://gitlab.com/pycqa/flake8-polyfill

Otherwise LGTM!

> +    (synopsis "Polyfill package for Flake8 plugins")
> +    (description
> +     "This package that provides some compatibility helpers for Flake8 plugins that
> + intend to support Flake8 2.x and 3.x simultaneously")
> +    (license license:expat)))
> -- 
> 2.1.4

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 3/6] gnu: Add python-ddt

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1762 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-ddt): New variable.
> ---
>  gnu/packages/python.scm | 25 +++++++++++++++++++++++++
>  1 file changed, 25 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index b39d8b1..44704b2 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12580,3 +12580,28 @@ faster ones are not available.")
>       "This package that provides some compatibility helpers for Flake8 plugins that
>   intend to support Flake8 2.x and 3.x simultaneously")
>      (license license:expat)))
> +
> +(define-public python-ddt
> +  (package
> +    (name "python-ddt")
> +    (version "1.1.1")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "ddt" version))
> +       (sha256
> +        (base32
> +         "1c00ikkxr7lha97c81k938bzhgd4pbwamkjn0h4nkhr3xk00zp6n"))))
> +    (build-system python-build-system)
> +    (native-inputs
> +     `(("python-mock" ,python-mock)
> +       ("python-nose" ,python-nose)))
> +    (inputs
> +     `(("python-six" ,python-six)
> +       ("python-pyyaml" ,python-pyyaml)))
> +    (home-page "https://github.com/txels/ddt")
> +    (synopsis "Data-Driven/Decorated Tests")

Where does "decorated" come from? :)

> +    (description "DDT (Data-Driven Tests) allows you to multiply one test case by running
> + it with different test data, and make it appear as multiple test cases")
> +    (license (license:non-copyleft
> +              "https://github.com/txels/ddt/blob/master/LICENSE.md"))))

This looks like the "expat" license.

> -- 
> 2.1.4

Btw, this git version is *very* old. Consider `guix package -i git` ;-)

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 4/6] gnu: Add python-pycosat

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1560 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-pycosat): New variable.
> ---
>  gnu/packages/python.scm | 20 ++++++++++++++++++++
>  1 file changed, 20 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index 44704b2..170107a 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12605,3 +12605,23 @@ faster ones are not available.")
>   it with different test data, and make it appear as multiple test cases")
>      (license (license:non-copyleft
>                "https://github.com/txels/ddt/blob/master/LICENSE.md"))))
> +
> +(define-public python-pycosat
> +  (package
> +    (name "python-pycosat")
> +    (version "0.6.1")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "pycosat" version))
> +       (sha256
> +        (base32
> +         "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l"))))
> +    (build-system python-build-system)
> +    (home-page
> +     "https://github.com/ContinuumIO/pycosat")
> +    (synopsis "Bindings to picosat (a SAT solver)")
> +    (description
> +     "This package provides efficient Python bindings to picosat on the C level, i.e.
> + when importing pycosat, the picosat solver becomes part of the Python process itself")

Does this package not need "picosat" as input? Or is it bundled?

Please also use @code{picosat} here, and preferably an explanation of
the SAT acronym :)

> +    (license license:expat)))
> -- 
> 2.1.4

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 5/6] gnu: Add python-typing

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1673 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-typing): New variable.
> ---
>  gnu/packages/python.scm | 20 ++++++++++++++++++++
>  1 file changed, 20 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index 170107a..ef3d9bd 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12625,3 +12625,23 @@ faster ones are not available.")
>       "This package provides efficient Python bindings to picosat on the C level, i.e.
>   when importing pycosat, the picosat solver becomes part of the Python process itself")
>      (license license:expat)))
> +
> +(define-public python-typing
> +  (package
> +    (name "python-typing")
> +    (version "3.5.3.0")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "typing" version))
> +       (sha256
> +        (base32
> +         "08gz3grrh3vph5ib1w5x1ssnpzvj077x030lx63fxs4kwg3slbfa"))))
> +    (build-system python-build-system)
> +    (home-page
> +     "https://docs.python.org/3.5/library/typing.html")

If this is provided by the standard library as this link implies, why do
we need this package? Is it a python2 backport? In that case it should
be named "python2-typing" and you'll need to specify #:python as argument.

> +    (synopsis "Type Hints for Python")
> +    (description "This module supports type hints as specified by PEP 484.  The most
> + fundamental support consists of the types Any, Union, Tuple, Callable, TypeVar, and
> + Generic.  For full specification please see PEP 484")
> +    (license license:psfl)))
> -- 
> 2.1.4

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 6/6] gnu: Add python-ruamel.ordereddict

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 2261 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-ruamel.ordereddict): New variable.
> ---
>  gnu/packages/python.scm | 28 ++++++++++++++++++++++++++++
>  1 file changed, 28 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index ef3d9bd..e1e4e74 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12645,3 +12645,31 @@ faster ones are not available.")
>   fundamental support consists of the types Any, Union, Tuple, Callable, TypeVar, and
>   Generic.  For full specification please see PEP 484")
>      (license license:psfl)))
> +
> +(define-public python-ruamel.ordereddict
> +  (package
> +    (name "python-ruamel.ordereddict")
> +    (version "0.4.9")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "ruamel.ordereddict" version))
> +       (sha256
> +        (base32
> +         "1xmkl8v9l9inm2pyxgc1fm5005yxm7fkd5gv74q7lj1iy5qc8n3h"))))
> +    (build-system python-build-system)
> +    (arguments
> +     `(#:python ,python-2))

If this is python2 only, the package should be named
"python2-ruamel.ordereddict".

Could you also use the "package-with-python2" procedure to add a python2
variant for all packages that work with either version? Look around in
python.scm for examples.

Can you send an updated series? Thanks in advance!

> +    (home-page
> +     "https://bitbucket.org/ruamel/ordereddict")
> +    (synopsis
> +     "Version of dict that keeps keys in insertion resp. sorted order")
> +    (description
> +     "This is an implementation of an ordered dictionary with Key Insertion Order (KIO:
> + updates of values do not affect the position of the key), Key Value Insertion Order
> + (KVIO, an existing key's position is removed and put at the back).  The standard library
> + module OrderedDict, implemented later, implements a subset of ordereddict functionality.
> +Sorted dictionaries are also provided.  Currently only with Key Sorted Order (KSO, no
> + sorting function can be specified, but a transform can be specified to apply on the key
> + before comparison (e.g. string.lower))")
> +    (license license:expat)))
> -- 
> 2.1.4

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

Re: [PATCH 1/6] gnu: Add python-rst2ansi

[Frederick Muriithi]

On Thu, Feb 9, 2017 at 1:27 AM, Marius Bakke <mbakke@fastmail.com> wrote:
> All descriptions should end with a "." as mentioned above.
> `guix lint python-rst2ansi` should warn about this.

If this is a requirement, then there's a bug with lint. It only seems
to care that there is no period at the end of the synopsis.
It doesn't seem to care for one existing, or lacking for the description.

I will work on the other issues you've raised and update the series of patches.

-- 
Frederick M. Muriithi

Re: [PATCH 4/6] gnu: Add python-pycosat

[Frederick Muriithi]

On Thu, Feb 9, 2017 at 1:35 AM, Marius Bakke <mbakke@fastmail.com> wrote:
>
> Does this package not need "picosat" as input? Or is it bundled?
>

I used `./pre-inst-env guix environment guix --pure -- ./pre-inst-env
guix build --rounds=3 python-pycosat` to build the package, and it
built successfully without requiring picosat as an input, and hence I
submitted the patch as it was.
I will fix the remaining issues and resubmit the patch


-- 
Frederick M. Muriithi

Re: [PATCH 5/6] gnu: Add python-typing

[Frederick Muriithi]

On Thu, Feb 9, 2017 at 1:38 AM, Marius Bakke <mbakke@fastmail.com> wrote:
>
> If this is provided by the standard library as this link implies, why do
> we need this package? Is it a python2 backport? In that case it should
> be named "python2-typing" and you'll need to specify #:python as argument.
>

It is a backport for python versions older than 3.5

I tried building one of the packages that indicated typing as a
dependency, and it built without typing being an input.

I will ignore this package for now, and resubmit it at a later time,
if necessary when I get to the next batch of packages that rely on the
current series


-- 
Frederick M. Muriithi

[PATCH 4/6] gnu: Add python-pycosat

[Muriithi Frederick Muriuki]

* gnu/packages/python.scm (python-pycosat): New variable.
---
 gnu/packages/python.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 9e17caf..e9df67c 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12604,3 +12604,24 @@ faster ones are not available.")
     (description "DDT (Data-Driven Tests) allows you to multiply one test case by running
  it with different test data, and make it appear as multiple test cases.")
     (license license:expat)))
+
+(define-public python-pycosat
+  (package
+    (name "python-pycosat")
+    (version "0.6.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (pypi-uri "pycosat" version))
+       (sha256
+        (base32
+         "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l"))))
+    (build-system python-build-system)
+    (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,
+ i.e. when importing pycosat, the @code{picosat} solver becomes part of the Python process
+ itself.  @code{picosat} is a Boolean Satisfiability Problem (SAT) solver")
+    (license license:expat)))
-- 
2.10.2

Re: [PATCH 3/6] gnu: Add python-ddt

[Hartmut Goebel]

Am 07.02.2017 um 19:00 schrieb Muriithi Frederick Muriuki:
> +    (inputs
> +     `(("python-six" ,python-six)
> +       ("python-pyyaml" ,python-pyyaml)))

These need to be either native or propagated inputs.Please read the
Packaging guide i the manual. Thanks.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |

Re: [PATCH 5/6] gnu: Add python-typing

[Hartmut Goebel]

Am 09.02.2017 um 18:04 schrieb Frederick Muriithi:
> It is a backport for python versions older than 3.5

This should be stated in the description then.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |

Re: [PATCH 4/6] gnu: Add python-pycosat

[Marius Bakke]

[-- Attachment #1: Type: text/plain, Size: 1671 bytes --]

Muriithi Frederick Muriuki <fredmanglis@gmail.com> writes:

> * gnu/packages/python.scm (python-pycosat): New variable.

Applied! This software bundles the "picosat" C program, so I added a
TODO note for removing it (we try to unbundle software and use Guix
versions wherever feasible).

> ---
>  gnu/packages/python.scm | 21 +++++++++++++++++++++
>  1 file changed, 21 insertions(+)
>
> diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
> index 9e17caf..e9df67c 100644
> --- a/gnu/packages/python.scm
> +++ b/gnu/packages/python.scm
> @@ -12604,3 +12604,24 @@ faster ones are not available.")
>      (description "DDT (Data-Driven Tests) allows you to multiply one test case by running
>   it with different test data, and make it appear as multiple test cases.")
>      (license license:expat)))
> +
> +(define-public python-pycosat
> +  (package
> +    (name "python-pycosat")
> +    (version "0.6.1")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (pypi-uri "pycosat" version))
> +       (sha256
> +        (base32
> +         "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l"))))
> +    (build-system python-build-system)
> +    (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,
> + i.e. when importing pycosat, the @code{picosat} solver becomes part of the Python process
> + itself.  @code{picosat} is a Boolean Satisfiability Problem (SAT) solver")
> +    (license license:expat)))
> -- 
> 2.10.2

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]