gnu: papi: Add 'release-monitoring-url' property.

* gnu/packages/profiling.scm (papi)[properties]: New field.
This commit is contained in:
Ludovic Courtès 2022-01-18 17:09:40 +01:00
parent 62fc6fdb4c
commit 895c1c20bf
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5

@ -123,6 +123,9 @@ real time, the relation between software performance and processor events.
In addition, PAPI provides access to a collection of components that expose
performance measurement opportunites across the hardware and software stack.")
(properties
'((release-monitoring-url
. "http://icl.cs.utk.edu/papi/software/")))
;; See Debian papi copyright file.
(license (list license:bsd-3
license:lgpl2.1+ ;src/components/infiniband/pscanf.h