Merge branch 'devel' into 'main'

license was missing

See merge request glicid-public/guix-glicid!99
This commit is contained in:
Yann Dupont 2022-10-13 14:23:52 +00:00
commit 6530d188f6

View file

@ -102,7 +102,7 @@
(synopsis "STREAM benchmark") (synopsis "STREAM benchmark")
(description "STREAM benchmark") (description "STREAM benchmark")
(home-page "https://") (home-page "https://")
(license "") (license license:non-copyleft)
) )
) )