gnu: psm2: Update Git tag name.

The tag was apparently renamed.

* gnu/packages/linux.scm (psm2)[source]: Change tag name.

Change-Id: Icfeb9e6f567d03f00f1b7b1d25dbd89f8528dc34
This commit is contained in:
Ludovic Courtès 2023-11-15 17:56:15 +01:00
parent 7e6580670b
commit 26a403f357
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

View File

@ -8866,7 +8866,8 @@ privileges.")
(method git-fetch)
(uri (git-reference
(url "https://github.com/intel/opa-psm2")
(commit (string-append "PSM2_" version))))
;; tag 'psm-v12.0' = commit ad5dd1b
(commit (string-append "psm-v" version))))
(file-name (git-file-name name version))
(sha256
(base32