tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib
2, buildPythonPackage
3, fetchFromGitHub
4, nose
5, pytestCheckHook
6, six
7}:
8
9buildPythonPackage rec {
10 pname = "pysmt";
11 version = "0.9.0";
12
13 src = fetchFromGitHub {
14 owner = pname;
15 repo = pname;
16 rev = "v${version}";
17 sha256 = "051j36kpz11ik9bhvp5jgxzc3h7f18i1pf5ssdhjwyabr0n0zra3";
18 };
19
20 propagatedBuildInputs = [ six ];
21
22 checkInputs = [
23 nose
24 pytestCheckHook
25 ];
26
27 pythonImportsCheck = [ "pysmt" ];
28
29 meta = with lib; {
30 description = "Python library for SMT formulae manipulation and solving";
31 homepage = "https://github.com/pysmt/pysmt";
32 license = with licenses; [ asl20 ];
33 maintainers = with maintainers; [ fab ];
34 };
35}