diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2026-02-25 08:17:09 +0000 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2026-02-25 08:18:59 +0000 |
| commit | ab16f88d78c0e2f4355f7e6a6d21dc75075b2a64 (patch) | |
| tree | 473c74cbd178968346e127aab4b91ee2a6f117ac /gnu | |
| parent | 74d9927183149c75af2de04f98e5c2bc58c7ab49 (diff) | |
gnu: python-mathlibtools: Update to 1.3.2.
* gnu/packages/lean.scm (python-mathlibtools): Update to 1.3.2.
Change-Id: I02e3a9c141519bc375eafeddafb7bf11354f9cef
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/lean.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index 0bef340de49..34c7f8a075f 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 |