diff mbox series

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

Message ID bb29b259b9d9ba843ba3d4d8b64cbe8998efeaa6.1731615040.git.felgru@posteo.net
State New
Headers show
Series Update dune-* to 2.10.0. | expand

Commit Message

Felix Gruber Nov. 14, 2024, 8:21 p.m. UTC 
* 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 mbox series

Patch

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