diff options
Diffstat (limited to 'nixpkgs/pkgs/development/python-modules/pycosat/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/python-modules/pycosat/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/python-modules/pycosat/default.nix b/nixpkgs/pkgs/development/python-modules/pycosat/default.nix new file mode 100644 index 000000000000..ad49e38d0658 --- /dev/null +++ b/nixpkgs/pkgs/development/python-modules/pycosat/default.nix @@ -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; + }; +} \ No newline at end of file |