From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: Re: [PATCH 4/6] gnu: Add python-pycosat Date: Thu, 09 Feb 2017 23:56:31 +0100 Message-ID: <87wpczrn1c.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> References: <20170209174837.30914-1-fredmanglis@gmail.com> <20170209174837.30914-4-fredmanglis@gmail.com> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52194) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cbxdo-0002VT-7U for guix-devel@gnu.org; Thu, 09 Feb 2017 17:56:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cbxdk-0005o5-5L for guix-devel@gnu.org; Thu, 09 Feb 2017 17:56:40 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:41921) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cbxdk-0005nl-0o for guix-devel@gnu.org; Thu, 09 Feb 2017 17:56:36 -0500 In-Reply-To: <20170209174837.30914-4-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 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Muriithi Frederick Muriuki 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 tes= t 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) solve= r") > + (license license:expat))) > --=20 > 2.10.2 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlic86AACgkQoqBt8qM6 VPrwbAgAo2+14azTJfNRu3hCQa7v+0jiNuP3eKyhdhwu8pC3xmvC8oJTy52LExYa 8JkFRVLqRBM/FQgiKCA/Env+DwH6bZnSgzAo0KMpzAnKTeHRMmynCbwhfU1EaEKf PCmNVvPGFpMecNuKj+SqAszDJExL6ptjx9vixe+hXu8zt5vZ4EtavqA62DuQsWka aKvIVewpcM3AIUr26eigNlX/7XsZpD2JAyzyz96W0fLIUJN2+/CFhxX6HqJZWNaf FFguqyxYCx9oIMxJZeM7Rx2/RVqF6W7W3Y0Po55BXu1ASDSt0xZmHRjM63I/82Fm mczU12T2HxVYzAhfTGzEBRNx/Nd0zA== =K7nP -----END PGP SIGNATURE----- --=-=-=--