Subject: Re: [bug#62684] [PATCH] gnu: Zstandard: Update to 1.5.5.

From: Leo Famulari <[email-masked]>
Date: Sat, 8 Apr 2023 13:07:03 -0400

On Fri, Apr 07, 2023 at 12:52:40PM +0200, Simon Tournier wrote:
> Well, maybe something like:
[...]
> +    (properties `((hidden? . #true)))

Yes, thank you. Please see version 2 of the patch.

I tried using the HIDDEN-PACKAGE procedure for [email-masked]. It doesn't
change the derivation, which is good, but I don't know how to un-hide
the replacement. So this is good enough, I think.