mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity

python.pkgs.pycosat: 0.6.0 -> 0.6.3

Browse source
This commit is contained in:
Frederik Rietdijk 2017-12-31 13:00:26 +01:00
parent c95491cb86
commit 48f3629551
2 changed files with 22 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
pkgs/development/python-modules/pycosat/default.nix Normal file
View file

@ -0,0 +1,21 @@
{ lib
, buildPythonPackage
, fetchPypi
}:
buildPythonPackage rec {
pname = "pycosat";
version = "0.6.3";
src = fetchPypi {
inherit pname version;
extension = "zip";
sha256 = "4c99874946a7e939bb941bbb019dd2c20e6068e3107c91366e7779c69d70e0ed";
};
meta = {
description = "Bindings to picosat SAT solver";
homepage = https://github.com/ContinuumIO/pycosat;
license = lib.licenses.mit;
};
}

22
pkgs/top-level/python-packages.nix
View file

@ -13998,27 +13998,6 @@ in {
};
};
pycosat = buildPythonPackage rec {
name = "pycosat-0.6.0";
src = pkgs.fetchurl {
url = "mirror://pypi/p/pycosat/${name}.tar.gz";
sha256 = "02sdn2998jlrm35smn1530hix3kzwyc1jv49cjdcnvfvrqqi3rww";
};
meta = {
description = "Python bindings for PicoSAT";
longDescription = ''PicoSAT is a popular SAT solver written by Armin
Biere in pure C. 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. For
ease of deployment, the picosat source (namely picosat.c and
picosat.h) is included in this project.'';
homepage = https://github.com/ContinuumIO/pycosat;
license = licenses.mit;
};
};
pygit2 = callPackage ../development/python-modules/pygit2 { };
Babel = buildPythonPackage (rec {
@ -14171,6 +14150,7 @@ in {
};
pycosat = callPackage ../development/python-modules/pycosat { };
pycryptopp = buildPythonPackage (rec {
name = "pycryptopp-0.6.0.1206569328141510525648634803928199668821045408958";