Commit b014ff9e authored by Mario Rodas's avatar Mario Rodas
Browse files

python310Packages.mathlibtools: add changelog to meta

parent 2904fdf8

pkgs/development/python-modules/mathlibtools/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -47,6 +47,7 @@ buildPythonPackage rec { 
  meta = with lib; {

    description = "Supporting tool for Lean's mathlib";

    homepage = "https://github.com/leanprover-community/mathlib-tools";

    changelog = "https://github.com/leanprover-community/mathlib-tools/raw/v${version}/CHANGELOG.md";

    license = licenses.asl20;

    maintainers = with maintainers; [ gebner ];

  };