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

Merge pull request #260961 from r-ryantm/auto-update/python310Packages.deal-solver 

python310Packages.deal-solver: 0.1.1 -> 0.1.2
parents 612df9b9 9f35d3a6

pkgs/development/python-modules/deal-solver/default.nix

+3 −2
Original line number Diff line number Diff line
@@ -11,7 +11,7 @@ 


buildPythonPackage rec {

  pname = "deal-solver";

  version = "0.1.1";

  version = "0.1.2";

  format = "pyproject";



  disabled = pythonOlder "3.7";
@@ -20,7 +20,7 @@ buildPythonPackage rec { 
    owner = "life4";

    repo = pname;

    rev = "refs/tags/${version}";

    hash = "sha256-LXBAWbm8fT/jYNbzB95YeBL9fEknMNJvkTRMbc+nf6c=";

    hash = "sha256-DAOeQLFR/JED32uJSW7W9+Xx5f1Et05W8Fp+Vm7sfZo=";

  };



  nativeBuildInputs = [
@@ -53,6 +53,7 @@ buildPythonPackage rec { 
  meta = with lib; {

    description = "Z3-powered solver (theorem prover) for deal";

    homepage = "https://github.com/life4/deal-solver";

    changelog = "https://github.com/life4/deal-solver/releases/tag/${version}";

    license = licenses.mit;

    maintainers = with maintainers; [ gador ];

  };