Unverified Commit bf3503ce authored by Fabian Affolter's avatar Fabian Affolter Committed by GitHub
Browse files

python313Packages.model-checker: remove disabled

parent 47691257

pkgs/development/python-modules/model-checker/default.nix

+0 −3
Original line number Diff line number Diff line
@@ -3,7 +3,6 @@ 
  buildPythonPackage,

  fetchPypi,

  networkx,

  pythonOlder,

  setuptools,

  tqdm,

  z3-solver,
@@ -14,8 +13,6 @@ buildPythonPackage rec { 
  version = "1.2.12";

  pyproject = true;



  disabled = pythonOlder "3.8";



  src = fetchPypi {

    pname = "model_checker";

    inherit version;