···

       
11
       
11
       
 
       


     

       
12
       
12
       
 
       
buildPythonPackage rec {

     

       
13
       
13
       
 
       
  pname = "model-checker";

     

       
14
       
14
       
-
       
  version = "1.0.0";

     

       
14
       
14
       
+
       
  version = "1.0.1";

     

       
15
       
15
       
 
       
  pyproject = true;

     

       
16
       
16
       
 
       


     

       
17
       
17
       
 
       
  disabled = pythonOlder "3.8";

     
···

       
19
       
19
       
 
       
  src = fetchPypi {

     

       
20
       
20
       
 
       
    pname = "model_checker";

     

       
21
       
21
       
 
       
    inherit version;

     

       
22
       
22
       
-
       
    hash = "sha256-RnEkYdQP2VGYNpcQuwJoC1QenppJj+lFtHiPIUNfRnY=";

     

       
22
       
22
       
+
       
    hash = "sha256-WCep7ibi1iN8v8508ZkEPjW9zqK7mUaiGuWv2wnoiRI=";

     

       
23
       
23
       
 
       
  };

     

       
24
       
24
       
 
       


     

       
25
       
25
       
 
       
  # z3 does not provide a dist-info, so python-runtime-deps-check will fail