tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00
Code Activity

gnu: python-mathlibtools: Update to 1.3.2.

Browse Source 
* gnu/packages/lean.scm (python-mathlibtools): Update to 1.3.2.

Change-Id: I02e3a9c141519bc375eafeddafb7bf11354f9cef
This commit is contained in:
Sharlatan Hellseher
2026-02-25 08:17:09 +00:00
parent 74d9927183
commit ab16f88d78
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gnu/packages/lean.scm
View File

@@ -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