GNU bug report logs - #77905
[PATCH] gnu: Add highs.

Previous Next

Package: guix-patches;

Reported by: Wiktor Żelazny <wz <at> freeshell.de>

Date: Fri, 18 Apr 2025 18:20:04 UTC

Severity: normal

Tags: patch

Done: Andreas Enge <andreas <at> enge.fr>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 77905-done <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: Wiktor Żelazny <wz <at> freeshell.de>
Cc: Eric Bavier <bavier <at> posteo.net>,
 Sharlatan Hellseher <sharlatanus <at> gmail.com>, 77905-done <at> debbugs.gnu.org
Subject: Re: [bug#77905] [PATCH] gnu: Add highs.
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
This bug report was last modified 16 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.