Unverified Commit 0fe9e987 authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #197457 from r-ryantm/auto-update/python310Packages.mathlibtools 

python310Packages.mathlibtools: 1.1.2 -> 1.3.0
parents a30be0f1 b014ff9e

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

+3 −2
Original line number Diff line number Diff line
@@ -15,14 +15,14 @@ 


buildPythonPackage rec {

  pname = "mathlibtools";

  version = "1.1.2";

  version = "1.3.1";

  format = "setuptools";



  disabled = pythonOlder "3.6";



  src = fetchPypi {

    inherit pname version;

    hash = "sha256-Jbnb3FKyB1NAehB8tZxBV6d7JJCOgWZPMWMaFEAOzkM=";

    hash = "sha256-HwtmrDGInCI5Hl+qhl+7hOBJ3Ux0g8IjoAVa4iAccl8=";

  };



  propagatedBuildInputs = [
@@ -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 ];

  };