diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-01-18 17:09:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-18 18:46:51 +0100 |
| commit | 895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3 (patch) | |
| tree | fe5a79ae65caab21851890d63ccf3f0a7ab755e5 | |
| parent | 62fc6fdb4c03c1f7738694730a642c435d7a4a6a (diff) | |
gnu: papi: Add 'release-monitoring-url' property.
* gnu/packages/profiling.scm (papi)[properties]: New field.
| -rw-r--r-- | gnu/packages/profiling.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/profiling.scm b/gnu/packages/profiling.scm index 3cfe89d963..28d9cd4eea 100644 --- a/gnu/packages/profiling.scm +++ b/gnu/packages/profiling.scm @@ -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 |