Merge branch 'devel' into 'main'

typo

See merge request glicid-public/guix-glicid!58
This commit is contained in:
Yann Dupont 2022-06-17 18:03:22 +00:00
commit c74f6d3be3

View file

@ -57,7 +57,8 @@
intel-mpi-benchmarks/openmpi-2021.3 intel-mpi-benchmarks/openmpi-2021.3
) "waves") ) "waves")
) )
)
(define-public stream-benchmarks (define-public stream-benchmarks
(package (package