Subject: [bug#76246] [PATCH v5 6/6] gnu: g-golf: Redefine as a non-deprecated alias.

From: "pelzflorian (Florian Pelz)" <[email-masked]>
Date: Tue, 25 Feb 2025 11:25:12 +0100

Maxim Cournoyer <[email-masked]> writes:
> Thanks for your efforts in packaging this library, and for David for
> having authored it in the first place!

:)

Note that I packaged examples but never packaged the guile-g-golf
library, which was done by other fans of G-Golf, namely

commit dfe277a5ce60d487fe44840506206fea8507bc69
Author: Vitaliy Shatrov <[email-masked]>
Date:   Wed Apr 15 07:15:59 2020 +0000
commit 85fcceeea146b2e2e84a063f042893a0c39e9e5f
Author: Mike Rosset <[email-masked]>
Date:   Mon Jul 20 12:06:12 2020 -0700
commit 35c96e65a9ea638d5c544257e1917e320c2beca1
Author: Zhu Zihao <[email-masked]>
Date:   Thu Feb 3 22:27:40 2022 +0800

Regards,
Florian