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

python310Packages.deal-solver: add changelog to meta

parent 10a31418

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

+1 −0
Original line number Diff line number Diff line
@@ -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 ];

  };