Nicolas Graves 31b4c153e1 gnu: python-mathlibtools: Switch to pyproject. ...

* gnu/packages/lean.scm (python-mathlibtools):
[source]: Switch to git-fetch.
[build-system]: Switch to pyproject-build-system.
[arguments]<#:test-flags>: Disable failing tests.
[native-inputs]: Add python-pytest, python-setuptools.

Change-Id: I48805383c0dd6fc4d033cbe7fe3e039cf388eb12
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>

2025-09-27 23:25:43 +01:00

8.5 KiB

Raw Blame History

View Raw