From d93706aded452bd4c2ea28a3c45aef70006916aa Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Sat, 19 Mar 2022 22:44:31 +0100
Subject: gnu: isl: Add 'release-monitoring-url' property.

* gnu/packages/gcc.scm (isl)[properties]: New field.
---
 gnu/packages/gcc.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index a6a5c6197d..07466143fc 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -1200,6 +1200,7 @@ provides the GNU compiler for the Go programming language."))
                            "old_library=''\n"))))))))
     (inputs (list gmp))
     (home-page "https://libisl.sourceforge.io/") ;https://repo.or.cz/w/isl.git
+    (properties `((release-monitoring-url . ,home-page)))
     (synopsis
      "Manipulating sets and relations of integer points \
 bounded by linear constraints")
-- 
cgit v1.2.3