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