···

       
11
       
 
       


     

       
12
       
 
       
buildPythonPackage rec {

     

       
13
       
 
       
  pname = "model-checker";

     

       
14
       
-
       
  version = "1.2.10";

     

       
15
       
 
       
  pyproject = true;

     

       
16
       
 
       


     

       
17
       
 
       
  disabled = pythonOlder "3.8";

     
···

       
19
       
 
       
  src = fetchPypi {

     

       
20
       
 
       
    pname = "model_checker";

     

       
21
       
 
       
    inherit version;

     

       
22
       
-
       
    hash = "sha256-wU79zM2hGjmv/IxfQHHSLPBJFzoAPusHgtAaFSumFr0=";

     

       
23
       
 
       
  };

     

       
24
       
 
       


     

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

     

···

       
11
       
 
       


     

       
12
       
 
       
buildPythonPackage rec {

     

       
13
       
 
       
  pname = "model-checker";

     

       
14
       
+
       
  version = "1.2.11";

     

       
15
       
 
       
  pyproject = true;

     

       
16
       
 
       


     

       
17
       
 
       
  disabled = pythonOlder "3.8";

     
···

       
19
       
 
       
  src = fetchPypi {

     

       
20
       
 
       
    pname = "model_checker";

     

       
21
       
 
       
    inherit version;

     

       
22
       
+
       
    hash = "sha256-OcF1aJgQFB+YTC6Ksx/WImKciOjodY0wq/KRUAxiqqU=";

     

       
23
       
 
       
  };

     

       
24
       
 
       


     

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