diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-03-19 22:44:31 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-03-19 22:44:31 +0100 |
commit | d93706aded452bd4c2ea28a3c45aef70006916aa (patch) | |
tree | c14ea8bdfdf5b66f9c543e46cd6216f430c59edc /gnu | |
parent | 75431d509b22ea8ba07ece596f404827ced742f7 (diff) | |
download | guix-d93706aded452bd4c2ea28a3c45aef70006916aa.tar.gz |
gnu: isl: Add 'release-monitoring-url' property.
* gnu/packages/gcc.scm (isl)[properties]: New field.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/gcc.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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") |