tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-01 14:55:55 +02:00
Code Activity
Files
032f2e261caee641d29ebc604a7d7a9be2410ac7
guix/gnu/packages/lean.scm
T
Pradana AUMARS fee68a93d8 gnu: Add python-mathlibtools. 
* gnu/packages/lean.scm (python-mathlibtools): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-03-16 15:48:52 +01:00

4.7 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink