From: Leo Famulari <leo@famulari.name>
To: guix-devel@gnu.org
Subject: [PATCH 1/4] gnu: Add python-hypothesis.
Date: Sun, 31 Jan 2016 19:08:40 -0500 [thread overview]
Message-ID: <8bf973e4d6036d5af76d885c72142447f93a8549.1454285257.git.leo@famulari.name> (raw)
In-Reply-To: <cover.1454285257.git.leo@famulari.name>
In-Reply-To: <cover.1454285257.git.leo@famulari.name>
* 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 <cwebber@dustycloud.org>
;;; Copyright © 2015 Eric Dvorsak <eric@dvorsak.fr>
;;; Copyright © 2015 David Thompson <davet@gnu.org>
-;;; Copyright © 2015 Leo Famulari <leo@famulari.name>
+;;; Copyright © 2015, 2016 Leo Famulari <leo@famulari.name>
;;; Copyright © 2015 Ben Woodcroft <donttrustben@gmail.com>
;;; Copyright © 2015, 2016 Erik Edrosa <erik.edrosa@gmail.com>
;;; Copyright © 2015, 2016 Efraim Flashner <efraim@flashner.co.il>
@@ -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
next prev parent reply other threads:[~2016-02-01 0:08 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-01 0:08 [PATCH 0/4] Add "Unlicense"; Update vdirsyncer Leo Famulari
2016-02-01 0:08 ` Leo Famulari [this message]
2016-02-02 14:27 ` [PATCH 1/4] gnu: Add python-hypothesis Ludovic Courtès
2016-02-01 0:08 ` [PATCH 2/4] licenses: Add the Unlicense Leo Famulari
2016-02-02 14:29 ` Ludovic Courtès
2016-02-01 0:08 ` [PATCH 3/4] gnu: Add python-pytest-subtesthack Leo Famulari
2016-02-02 14:31 ` Ludovic Courtès
2016-02-01 0:08 ` [PATCH 4/4] gnu: vdirsyncer: Update to 0.8.1 Leo Famulari
2016-02-02 14:31 ` Ludovic Courtès
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8bf973e4d6036d5af76d885c72142447f93a8549.1454285257.git.leo@famulari.name \
--to=leo@famulari.name \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).