tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-20 17:20:32 +02:00
Code Activity
Files
741b4124db6b68c4ec00fc12aa4d99809e40eb3f
guix/gnu/packages/lean.scm
Sharlatan Hellseher ab16f88d78 gnu: python-mathlibtools: Update to 1.3.2. 
* gnu/packages/lean.scm (python-mathlibtools): Update to 1.3.2.

Change-Id: I02e3a9c141519bc375eafeddafb7bf11354f9cef
2026-02-25 08:18:59 +00:00

10 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink