Sharlatan Hellseher 8e8d18f61f gnu: python-mathlibtools: Fix build. ...

* gnu/packages/lean.scm (python-mathlibtools):
  [phases]{fix-home-directory}: Remove phase.
  {set-home-env}: New phase

Relates-to: guix/guix#5892
Change-Id: If791942e8c8053b00ec82737ef2ad8e1581d7e3c

2026-02-07 12:28:55 +01:00

8.7 KiB

Raw Blame History

View Raw