[bug#74356] [PATCH 09/10] gnu: dune-typetree: Update to 2.10.0.

[Felix Gruber]

* gnu/packages/maths.scm (dune-typetree): Update to 2.10.0.

Change-Id: I5f41fd6a1f8401283d6fa1831d8af96cd751907e
---
 gnu/packages/maths.scm | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index c37cb59741..023504acac 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8758,17 +8758,15 @@ (define-public dune-subgrid
 (define-public dune-typetree
   (package
     (name "dune-typetree")
-    (version "2.9.0")
+    (version "2.10.0")
     (source
      (origin
-       (method git-fetch)
-       (uri (git-reference
-             (url "https://gitlab.dune-project.org/staging/dune-typetree.git";)
-             (commit (string-append "v" version))))
-       (file-name (git-file-name name version))
+       (method url-fetch)
+       (uri (string-append "https://dune-project.org/download/";
+                           version "/dune-typetree-" version ".tar.gz"))
        (sha256
         (base32
-         "1qcnl8giivnn8zprszdwrqw4q29sv3c2pr8dlrz616j10i4r8p18"))))
+         "0k756c543r79jz51jfnvi6knnxv7y19xg69yb15b0hrv4gq015pf"))))
     (build-system cmake-build-system)
     (arguments
      `(#:phases
-- 
2.45.2