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

* gnu/packages/algebra.scm (flint)[properties]: New field.
This commit is contained in:
Ludovic Courtès 2023-01-23 18:22:52 +01:00
parent e6c01420db
commit 3b744e9975
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -464,7 +464,9 @@ (define-public flint
functions. In addition, FLINT provides various low-level routines for
fast arithmetic.")
(license license:lgpl2.1+)
(home-page "http://flintlib.org/")))
(home-page "http://flintlib.org/")
(properties
'((release-monitoring-url . "http://flintlib.org/downloads.html")))))
(define-public arb
(package