From ab16f88d78c0e2f4355f7e6a6d21dc75075b2a64 Mon Sep 17 00:00:00 2001 From: Sharlatan Hellseher Date: Wed, 25 Feb 2026 08:17:09 +0000 Subject: [PATCH] gnu: python-mathlibtools: Update to 1.3.2. * gnu/packages/lean.scm (python-mathlibtools): Update to 1.3.2. Change-Id: I02e3a9c141519bc375eafeddafb7bf11354f9cef --- gnu/packages/lean.scm | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index 0bef340de4..34c7f8a075 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -193,16 +193,16 @@ interactive and automated theorem proving.") (define-public python-mathlibtools (package (name "python-mathlibtools") - (version "1.1.1") + (version "1.3.2") (source (origin (method git-fetch) (uri (git-reference - (url "https://github.com/leanprover-community/mathlib-tools") - (commit (string-append "v" version)))) + (url "https://github.com/leanprover-community/mathlib-tools") + (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1kllk99cd9vsbmb0ifi21gkhrg2w803z4y5xhx0a7hx3viyjb3cv")))) + (base32 "0vjz3f2lvkql9dz9x1d9mq8vczqs70v2ar88g7p4wm6qq7pgx7l3")))) (build-system pyproject-build-system) (arguments (list