me
/
guix
Archived
1
0
Fork 0
Code

gnu: isl: Add 'release-monitoring-url' property. 

* gnu/packages/gcc.scm (isl)[properties]: New field.
master
Ludovic Courtès 2022-03-19 22:44:31 +01:00
parent 75431d509b
commit d93706aded
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gnu/packages/gcc.scm
View File

@ -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")