From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: Re: [PATCH 4/6] gnu: Add python-pycosat Date: Wed, 08 Feb 2017 23:35:44 +0100 Message-ID: <87a89wb9a7.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> References: <1486490441-3995-1-git-send-email-fredmanglis@gmail.com> <1486490441-3995-4-git-send-email-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]:58581) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cbaq8-0006tJ-GK for guix-devel@gnu.org; Wed, 08 Feb 2017 17:35:53 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cbaq3-0005yG-Gk for guix-devel@gnu.org; Wed, 08 Feb 2017 17:35:52 -0500 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:43824) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cbaq3-0005xv-D4 for guix-devel@gnu.org; Wed, 08 Feb 2017 17:35:47 -0500 In-Reply-To: <1486490441-3995-4-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 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Muriithi Frederick Muriuki writes: > * 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 p= rocess itself") Does this package not need "picosat" as input? Or is it bundled? Please also use @code{picosat} here, and preferably an explanation of the SAT acronym :) > + (license license:expat))) > --=20 > 2.1.4 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlibnUEACgkQoqBt8qM6 VPp1LAf/SxUIb0s4GyeAACYNWQc1whk+fKMPYH+Uq8NjRdfZak6KbgAbjIGSVW6/ urArrshxpNDpqC7QnJzMVYIRYpx1Z0c4sGLtDcbuS6YzxMb+v/s6VbhLhUQ2mSbW Nx4D3+w9ykaQKJ846yt81TRvGdea4IuUdwak8jN/fTr//XGPMymE2dWkgZHfd71A ugPnEaP+459dQVBqrJ7Si0dRGEvk73EqAflSXZloiQkwWNnIZGIInBvRVZB4OrVd dwpcWfB/q3ywu7uo4OWQMWe2pVI3O9p63gH0wMLD8K87w+8hBlwgczmhX0wvVk5W oRu3ehy2YTq0kXq4Nlpv7V/T9zDAwA== =NCWD -----END PGP SIGNATURE----- --=-=-=--