Hi Felix, On Fri, 21 Jun 2024 at 20:37, Felix Lechner <felix.lech...@lease-up.com> wrote:
> > Is debbugs.gnu.org having issues? > > Yes, the community0p server crashed this morning. Luckily, Debbugs > appears to be back online and added messages I sent during the outage. > Maybe yours will get there, too. Thanks. Yeah the message reached issues.guix.gnu.org so I guess all is fine. :-) > > See attached the patch implementing that. > > Thank you! Do you see a chance we can amend the patch so I can block > such package definitions from being used by 'guix deploy', 'guix system > reconfigure' and 'guix home reconfigure'? My input of this will wait after my holidays. ;-) Cheers, simon