[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#66573] [PATCH 00/11] Update Open MPI and its dependencies
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#66573] [PATCH 00/11] Update Open MPI and its dependencies |
|
Date: |
Thu, 16 Nov 2023 13:14:25 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
Guillaume Le Vaillant <glv@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’.