From 895c1c20bfe6f2d38a764a4a6ed1e1aa4b9704b3 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Tue, 18 Jan 2022 17:09:40 +0100
Subject: gnu: papi: Add 'release-monitoring-url' property.

* gnu/packages/profiling.scm (papi)[properties]: New field.
---
 gnu/packages/profiling.scm | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3