Merge branch 'devel' into 'main'

really bump version

See merge request glicid-public/guix-glicid!238
This commit is contained in:
Yann Dupont 2023-03-16 10:28:06 +00:00
commit da20f0347a

View file

@ -42,7 +42,7 @@
(patches (search-patches "openmpi-mtl-priorities.patch"))))))
(define local-openmpi
openmpi-upstream-4.1.4)
openmpi-upstream-4.1.5)
(define-public openmpi-latest
(latest-version local-openmpi gnu:openmpi))