Subject: Close
From: Andreas Enge <[email-masked]>
To: [email-masked]
Date: Wed, 16 Apr 2025 17:05:59 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

As I understand it, Orca problems have been solved recently:
   https://issues.guix.gnu.org/77669

So I am closing this issue; if you still see problems, please feel free
to reopen it or to submit a new report.

Andreas