GNU bug report logs - #66573
[PATCH 00/11] Update Open MPI and its dependencies

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Mon, 16 Oct 2023 07:36:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Guillaume Le Vaillant <glv <at> posteo.net>
Cc: 66573 <at> debbugs.gnu.org, Peter Polidoro <peter <at> polidoro.io>
Subject: [bug#66573] [PATCH 00/11] Update Open MPI and its dependencies
Date: Thu, 16 Nov 2023 13:14:25 +0100

Hi,

Guillaume Le Vaillant <glv <at> posteo.net> skribis:

> I can't build the updated psm2. There's an error with the git checkout:
>
> building /gnu/store/ws9m70k8rq78hc6ywpjzh54f69hjfr5g-psm2-12.0-checkout.drv...
> Initialized empty Git repository in /gnu/store/m03npw5b871r4kb7c0hlv3bm1sl6lki3-psm2-12.0-checkout/.git/
> fatal: couldn't find remote ref PSM2_12.0

Sorry about that; fixed in 26a403f357f4471b14db7f01bb83a4c36ca5ef1b.

Thanks,
Ludo’.
This bug report was last modified 1 year and 269 days ago.

Previous Next

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