Joachim Zobel Fri, 17 Oct 2025 16:45:32 -0700
This is caused by bug #1117398 in gap-cryst.
Sincerely, Joachim
