From c192dd305200cba292f7590a27c21ac10f02f948 Mon Sep 17 00:00:00 2001 From: Florian Brandes Date: Sun, 19 Jun 2022 10:09:41 +0200 Subject: [PATCH 1/2] python3Packages.deal-solver: 0.1.0 -> 0.1.1 upstream fixed failing tests Signed-off-by: Florian Brandes --- .../python-modules/deal-solver/default.nix | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/pkgs/development/python-modules/deal-solver/default.nix b/pkgs/development/python-modules/deal-solver/default.nix index d3101f73e540..cba2cf89d173 100644 --- a/pkgs/development/python-modules/deal-solver/default.nix +++ b/pkgs/development/python-modules/deal-solver/default.nix @@ -11,7 +11,7 @@ buildPythonPackage rec { pname = "deal-solver"; - version = "0.1.0"; + version = "0.1.1"; format = "pyproject"; disabled = pythonOlder "3.6"; @@ -19,7 +19,7 @@ buildPythonPackage rec { owner = "life4"; repo = pname; rev = "refs/tags/${version}"; - hash = "sha256-eSSyLBwPc0rrfew91nLBagYDD6aJRyx0cE9YTTSODI8="; + hash = "sha256-LXBAWbm8fT/jYNbzB95YeBL9fEknMNJvkTRMbc+nf6c="; }; nativeBuildInputs = [ @@ -47,16 +47,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; { From 045cadf22b8c6984ce5170f540f1c457c048ae15 Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Sun, 19 Jun 2022 17:25:33 +0200 Subject: [PATCH 2/2] python3Packages.deal-solver: update disabled --- pkgs/development/python-modules/deal-solver/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/development/python-modules/deal-solver/default.nix b/pkgs/development/python-modules/deal-solver/default.nix index cba2cf89d173..f762ec0ca0ec 100644 --- a/pkgs/development/python-modules/deal-solver/default.nix +++ b/pkgs/development/python-modules/deal-solver/default.nix @@ -13,7 +13,8 @@ buildPythonPackage rec { pname = "deal-solver"; version = "0.1.1"; format = "pyproject"; - disabled = pythonOlder "3.6"; + + disabled = pythonOlder "3.7"; src = fetchFromGitHub { owner = "life4";