|
| From: | Gerd Möllmann |
| Subject: | Re: icg build instructions [was: Re: igc: trying to chase a crash] |
| Date: | Wed, 27 Nov 2024 15:16:49 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Andrea Corallo <acorallo@gnu.org> writes: > PS do you know if patching MPS is still necessary? I'm not sure, it's been a while since I built mps myself since some kind soul added it to Homebrew.
| [Prev in Thread] | Current Thread | [Next in Thread] |