From 37084f74518a0cb91d6fdbed2b54555a5a7432be Mon Sep 17 00:00:00 2001
From: Fabian Affolter <mail@fabian-affolter.ch>
Date: Sun, 3 Jul 2022 10:32:18 +0200
Subject: [PATCH] python310Packages.pysmt: 0.9.1.dev132 -> 0.9.5

---
 .../python-modules/pysmt/default.nix          | 28 ++++++++++++-------
 1 file changed, 18 insertions(+), 10 deletions(-)

diff --git a/pkgs/development/python-modules/pysmt/default.nix b/pkgs/development/python-modules/pysmt/default.nix
index 4adb96bf234..3f003aa9fb0 100644
--- a/pkgs/development/python-modules/pysmt/default.nix
+++ b/pkgs/development/python-modules/pysmt/default.nix
@@ -1,23 +1,31 @@
 { lib
 , buildPythonPackage
-, fetchPypi
+, fetchFromGitHub
+, pytestCheckHook
+, pythonOlder
 }:
 
 buildPythonPackage rec {
   pname = "pysmt";
-  version = "0.9.1.dev132";
-  format = "wheel"; # dev versions are only distributed as wheels
+  version = "0.9.5";
+  format = "setuptools";
 
-  src = fetchPypi {
-    pname = "PySMT";
-    inherit format version;
-    sha256 = "01iqs7yzms3alf1rdv0gnsnmfp7g8plkjcdqbari258zp4llf6x7";
+  disabled = pythonOlder "3.7";
+
+  src = fetchFromGitHub {
+    owner = "pysmt";
+    repo = pname;
+    rev = "v${version}";
+    hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM=";
   };
 
-  # No tests present, only GitHub release which is 0.9.0
-  doCheck = false;
+  checkInputs = [
+    pytestCheckHook
+  ];
 
-  pythonImportsCheck = [ "pysmt" ];
+  pythonImportsCheck = [
+    "pysmt"
+  ];
 
   meta = with lib; {
     description = "Python library for SMT formulae manipulation and solving";