Subject: Re: bug#47237: [PATCH] gnu: metis: Use 64-bit floating pointer numbers on 64-bit architectures.
From: Ludovic Courtès <[email-masked]>
To: Paul Garlick <[email-masked]>
Cc: [email-masked], [email-masked], [email-masked]
Date: Thu, 25 Mar 2021 18:42:39 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi again,

For now I’ve added a ‘metis-r64’ package with 64-bit reals to the
‘guix-hpc’ channel:

  https://gitlab.inria.fr/guix-hpc/guix-hpc/-/commit/f4a77fe95f0286bd63b07af6b9fbef25f3262682

Let’s see later if we can come up with a more generic solution in Guix
proper.

Ludo’.