On 14/09/2026 15:44, Matthias Klose wrote:
are you going to work on a fix?
Sorry, no. I'm not familiar with the code being patched, and have no idea how to proceed. P.S. Probably moot now, but I would be interested to know if it is documented anywhere, how using Debian packaging, is it possible to do a minimal build of one compiler only. I tried doing export with_bootstrap=no export DEB_BUILD_OPTIONS="nostrip nocheck" export addons=ada but these seem to be ignored. Build included rust and gm2 ....
