From mboxrd@z Thu Jan 1 00:00:00 1970 From: Muriithi Frederick Muriuki Subject: [PATCH 4/6] gnu: Add python-pycosat Date: Tue, 7 Feb 2017 21:00:39 +0300 Message-ID: <1486490441-3995-4-git-send-email-fredmanglis@gmail.com> References: <1486490441-3995-1-git-send-email-fredmanglis@gmail.com> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52570) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cbA3U-0005xU-3t for guix-devel@gnu.org; Tue, 07 Feb 2017 12:59:53 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cbA3T-0005Qa-5j for guix-devel@gnu.org; Tue, 07 Feb 2017 12:59:52 -0500 Received: from mail-wr0-x22e.google.com ([2a00:1450:400c:c0c::22e]:36271) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cbA3T-0005Pu-0p for guix-devel@gnu.org; Tue, 07 Feb 2017 12:59:51 -0500 Received: by mail-wr0-x22e.google.com with SMTP id k90so42862173wrc.3 for ; Tue, 07 Feb 2017 09:59:50 -0800 (PST) In-Reply-To: <1486490441-3995-1-git-send-email-fredmanglis@gmail.com> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Cc: 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