Subject: Re: [bug#77905] [PATCH] gnu: Add highs.

From: Andreas Enge <[email-masked]>
Date: Wed, 30 Apr 2025 16:27:51 +0200

Hello,

thanks for your patch!

Am Fri, Apr 18, 2025 at 08:17:31PM +0200 schrieb Wiktor Żelazny:
> +  (let ((commit "v1.10.0")
> +        (revision "1"))
> +    (package
> +      (name "highs")
> +      (version (git-version "1.10.0" revision commit))

This complication is not needed - we use the revision dance only when a
project has no proper releases.

So I have simplified this a little bit and pushed.

Andreas