@ -8,6 +8,7 @@
, pysmt
, pythonOlder
, pytestCheckHook
, six
, z3
}:
@ -36,6 +37,7 @@ buildPythonPackage rec {
checkInputs = [
nose
pytestCheckHook
six
];
postPatch = ''