From 695e2302f3a0f8d1c0102b1b6b1d9859d900b0d1 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Mon, 2 Jun 2025 18:57:56 +0200
Subject: [PATCH] gnu: flint: Update to 3.1.3.

* gnu/packages/algebra.scm (flint): Update to 3.1.3.

Change-Id: Icd429e06505138fa4e98d5b5138e678bc4bc5626
---
 gnu/packages/algebra.scm | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index 9b8ffc03bc..9c272a3881 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -485,13 +485,14 @@ or text interfaces) or as a C++ library.")
 (define-public flint
   (package
    (name "flint")
-   (version "3.1.2")
+   (version "3.1.3")
    (source
     (origin
       (method url-fetch)
-      (uri (string-append "https://flintlib.org/flint-" version ".tar.gz"))
+      (uri (string-append "https://flintlib.org/download/flint-"
+                          version ".tar.gz"))
       (sha256
-       (base32 "0017bjncpx4kdx67qcnm3nahz3gyyi2w3ggkrx586r3llcqs9czx"))))
+       (base32 "1nmd7jb2hqg3sqv0dbqa5glpn24lli3gh9ghxzmkpsh7pgnfan9j"))))
    (build-system gnu-build-system)
    (inputs
     (list ntl))