From 3b744e9975afd855cb9b1f157b12b9be577b04b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Mon, 23 Jan 2023 18:22:52 +0100 Subject: [PATCH] gnu: flint: Add 'release-monitoring-url' property. * gnu/packages/algebra.scm (flint)[properties]: New field. --- gnu/packages/algebra.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index e266647c73..f9304fb616 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -464,7 +464,9 @@ GCDs, factoring, solving linear systems, and evaluating special 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