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/local.mk | |
parent | 75431d509b22ea8ba07ece596f404827ced742f7 (diff) |
gnu: isl: Add 'release-monitoring-url' property.
* gnu/packages/gcc.scm (isl)[properties]: New field.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions