Merge pull request #178216 from gador/deal-solver-0.1.1

python3Packages.deal-solver: 0.1.0 -> 0.1.1
This commit is contained in:
Fabian Affolter 2022-06-19 21:16:00 +02:00 committed by GitHub
commit d0194f822b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,15 +11,16 @@
buildPythonPackage rec {
pname = "deal-solver";
version = "0.1.0";
version = "0.1.1";
format = "pyproject";
disabled = pythonOlder "3.6";
disabled = pythonOlder "3.7";
src = fetchFromGitHub {
owner = "life4";
repo = pname;
rev = "refs/tags/${version}";
hash = "sha256-eSSyLBwPc0rrfew91nLBagYDD6aJRyx0cE9YTTSODI8=";
hash = "sha256-LXBAWbm8fT/jYNbzB95YeBL9fEknMNJvkTRMbc+nf6c=";
};
nativeBuildInputs = [
@ -47,16 +48,6 @@ buildPythonPackage rec {
hypothesis
];
disabledTests = [
# z3 assertion error
"test_expr_asserts_ok"
];
disabledTestPaths = [
# regex matching seems flaky on tests
"tests/test_stdlib/test_re.py"
];
pythonImportsCheck = [ "deal_solver" ];
meta = with lib; {