The patches add new package definitions. The packages are independent
of each other.
--
Frederick M. Muriithi
From 30a446254e4a488b891ee3b9a7eebfb3bc65cb90 Mon Sep 17 00:00:00 2001
From: Muriithi Frederick Muriuki <fredmang...@gmail.com>
Date: Tue, 7 Feb 2017 18:00:25 +0300
Subject: [PATCH 1/3] gnu: Add python-pycosat
* gnu/packages/python.scm (python-pycosat): New variable
---
gnu/packages/python.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 6562df4..419255b 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12590,3 +12590,27 @@ 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 (string-append
+ "https://pypi.python.org/packages/76/0f/16edae7bc75b79376f2c260b7a459829785f";
+ "08e463ecf74a8ccdef62dd4a/pycosat-"
+ version
+ ".tar.gz"))
+ (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
From f1bff5976dbb8b943ec73355732ddfd6b8d24ad1 Mon Sep 17 00:00:00 2001
From: Muriithi Frederick Muriuki <fredmang...@gmail.com>
Date: Tue, 7 Feb 2017 18:08:34 +0300
Subject: [PATCH 2/3] gnu: Add python-typing
* gnu/packages/python.scm (python-typing): New variable
---
gnu/packages/python.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 419255b..9b23760 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12614,3 +12614,27 @@ 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 (string-append
+ "https://pypi.python.org/packages/b6/0c/53c42edca789378b8c05a5496e689f44e5dd";
+ "82bc6861d1ae5a926ee51b84/typing-"
+ version
+ ".tar.gz"))
+ (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
From 84995a2a5726ab624d238795eead23e08ec9a024 Mon Sep 17 00:00:00 2001
From: Muriithi Frederick Muriuki <fredmang...@gmail.com>
Date: Tue, 7 Feb 2017 18:21:54 +0300
Subject: [PATCH 3/3] gnu: Add python-ruamel.ordereddict
* gnu/packages/python.scm (python-ruamel.ordereddict): New varible.
---
gnu/packages/python.scm | 32 ++++++++++++++++++++++++++++++++
1 file changed, 32 insertions(+)
diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 9b23760..c0ccf6c 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -12638,3 +12638,35 @@ 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 (string-append
+ "https://pypi.python.org/packages/b1/17/97868578071068fe7d115672b52624d421ff";
+ "24e5e802f65d6bf3ea184e8f/ruamel.ordereddict-"
+ version
+ ".tar.gz"))
+ (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
