diff options
author | Dan Peebles <pumpkin@me.com> | 2018-07-08 12:42:56 -0400 |
---|---|---|
committer | Dan Peebles <pumpkin@me.com> | 2018-07-08 12:43:29 -0400 |
commit | 631dd7a4e974547b9ff483401e5256fa5aa3797e (patch) | |
tree | 603889971e27e12a9bac37cc4ef41c1e680d66ee /pkgs/top-level/python-packages.nix | |
parent | 2a8a5533d18b22ed983a1fe526ec16b801cbcd97 (diff) | |
download | nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar.gz nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar.bz2 nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar.lz nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar.xz nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.tar.zst nixlib-631dd7a4e974547b9ff483401e5256fa5aa3797e.zip |
monosat: init at 1nx3wh34
Also includes the python and java bindings (although java is only currently enabled on Linux)
Diffstat (limited to 'pkgs/top-level/python-packages.nix')
-rw-r--r-- | pkgs/top-level/python-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 381ad48b0e71..0cbd5f0b468b 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -8283,6 +8283,8 @@ in { }; }; + monosat = disabledIf (!isPy3k) (pkgs.monosat.python { inherit buildPythonPackage; inherit (self) cython; }); + monotonic = buildPythonPackage rec { pname = "monotonic"; version = "1.3"; |