[PATCH 1/4] gnu: Add python-hypothesis.

[Leo Famulari]

* gnu/packages/python.scm (python-hypothesis, python2-hypothesis): New
variables.
---
 gnu/packages/python.scm | 32 ++++++++++++++++++++++++++++++--
 1 file changed, 30 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm
index 82a9cfc..98be464 100644
--- a/gnu/packages/python.scm
+++ b/gnu/packages/python.scm
@@ -11,7 +11,7 @@
 ;;; Copyright © 2015 Christopher Allan Webber <address@hidden>
 ;;; Copyright © 2015 Eric Dvorsak <address@hidden>
 ;;; Copyright © 2015 David Thompson <address@hidden>
-;;; Copyright © 2015 Leo Famulari <address@hidden>
+;;; Copyright © 2015, 2016 Leo Famulari <address@hidden>
 ;;; Copyright © 2015 Ben Woodcroft <address@hidden>
 ;;; Copyright © 2015, 2016 Erik Edrosa <address@hidden>
 ;;; Copyright © 2015, 2016 Efraim Flashner <address@hidden>
@@ -37,7 +37,7 @@
   #:use-module ((guix licenses)
                 #:select (asl2.0 bsd-4 bsd-3 bsd-2 non-copyleft cc0 x11 
x11-style
                           gpl2 gpl2+ gpl3+ lgpl2.0+ lgpl2.1 lgpl2.1+ lgpl3+ 
agpl3+
-                          isc psfl public-domain x11-style zpl2.1))
+                          isc mpl2.0 psfl public-domain x11-style zpl2.1))
   #:use-module ((guix licenses) #:select (expat zlib) #:prefix license:)
   #:use-module (gnu packages)
   #:use-module (gnu packages attr)
@@ -7254,3 +7254,31 @@ supports url redirection and retries, and also gzip and 
deflate decoding.")
 
 (define-public python2-urllib3
   (package-with-python2 python-urllib3))
+
+(define-public python-hypothesis
+  (package
+    (name "python-hypothesis")
+    (version "2.0.0")
+    (source (origin
+              (method url-fetch)
+              (uri (pypi-uri "hypothesis" version))
+              (sha256
+               (base32
+                "1la6mfpvcn640gs2v35iv8b4sh6xdhp9j5ghay0jd86c9n4fkgxr"))))
+    (build-system python-build-system)
+    (native-inputs
+     `(;; setuptools required for python-2 variant
+       ("python-setuptools" ,python-setuptools)))
+    (propagated-inputs
+     `(("python-flake8" ,python-flake8)
+       ("python-pytest" ,python-pytest)))
+    (synopsis "Library for property based testing")
+    (description "Hypothesis is a library for testing your Python code against 
a
+much larger range of examples than you would ever want to write by hand.  It’s
+based on the Haskell library, Quickcheck, and is designed to integrate
+seamlessly into your existing Python unit testing work flow.")
+    (home-page "https://github.com/DRMacIver/hypothesis";)
+    (license mpl2.0)))
+
+(define-public python2-hypothesis
+  (package-with-python2 python-hypothesis))
-- 
2.6.3