From f09718c20109725d5c1bc94d09df07b51952acb6 Mon Sep 17 00:00:00 2001 From: "R. Ryantm" Date: Sun, 13 Nov 2022 09:59:29 +0000 Subject: [PATCH 1/3] python310Packages.mathlibtools: 1.1.2 -> 1.3.0 --- pkgs/development/python-modules/mathlibtools/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/python-modules/mathlibtools/default.nix b/pkgs/development/python-modules/mathlibtools/default.nix index 11e4b3207282..a78e77a40e29 100644 --- a/pkgs/development/python-modules/mathlibtools/default.nix +++ b/pkgs/development/python-modules/mathlibtools/default.nix @@ -15,14 +15,14 @@ buildPythonPackage rec { pname = "mathlibtools"; - version = "1.1.2"; + version = "1.3.0"; format = "setuptools"; disabled = pythonOlder "3.6"; src = fetchPypi { inherit pname version; - hash = "sha256-Jbnb3FKyB1NAehB8tZxBV6d7JJCOgWZPMWMaFEAOzkM="; + hash = "sha256-iBYSh5Y8MYqzjeNt70eURr40SSKh0x41plemeaaOfy8="; }; propagatedBuildInputs = [ From 2904fdf8390e0fbdd12cdee8b7e77271ae2cc74b Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Tue, 29 Nov 2022 04:20:00 +0000 Subject: [PATCH 2/3] python310Packages.mathlibtools: 1.3.0 -> 1.3.1 https://github.com/leanprover-community/mathlib-tools/releases/tag/v1.3.1 --- pkgs/development/python-modules/mathlibtools/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/python-modules/mathlibtools/default.nix b/pkgs/development/python-modules/mathlibtools/default.nix index a78e77a40e29..48ff0478916d 100644 --- a/pkgs/development/python-modules/mathlibtools/default.nix +++ b/pkgs/development/python-modules/mathlibtools/default.nix @@ -15,14 +15,14 @@ buildPythonPackage rec { pname = "mathlibtools"; - version = "1.3.0"; + version = "1.3.1"; format = "setuptools"; disabled = pythonOlder "3.6"; src = fetchPypi { inherit pname version; - hash = "sha256-iBYSh5Y8MYqzjeNt70eURr40SSKh0x41plemeaaOfy8="; + hash = "sha256-HwtmrDGInCI5Hl+qhl+7hOBJ3Ux0g8IjoAVa4iAccl8="; }; propagatedBuildInputs = [ From b014ff9e0bf3cd172bef39527a60be1ac8de0172 Mon Sep 17 00:00:00 2001 From: Mario Rodas Date: Tue, 29 Nov 2022 04:20:00 +0000 Subject: [PATCH 3/3] python310Packages.mathlibtools: add changelog to meta --- pkgs/development/python-modules/mathlibtools/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/development/python-modules/mathlibtools/default.nix b/pkgs/development/python-modules/mathlibtools/default.nix index 48ff0478916d..f913beb07ef1 100644 --- a/pkgs/development/python-modules/mathlibtools/default.nix +++ b/pkgs/development/python-modules/mathlibtools/default.nix @@ -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 ]; };