diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2026-02-04 15:50:55 +0000 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2026-02-07 12:28:55 +0100 |
| commit | 8e8d18f61f029a83091be71b9b36110bde207718 (patch) | |
| tree | fab7e443f7b003b300376f34b1edf3b9932b3b47 /gnu/packages/python-check.scm | |
| parent | b35ce8a33d9146cefb565ba6bfb9a7b1946700c4 (diff) | |
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
Diffstat (limited to 'gnu/packages/python-check.scm')
0 files changed, 0 insertions, 0 deletions