summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/packages/ocaml.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ec5757e87d..0ecdc5f9f9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -621,7 +621,7 @@ Software distribution.")
(define-public ocaml-mccs
(package
(name "ocaml-mccs")
- (version "1.1+13")
+ (version "1.1+14")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -630,7 +630,7 @@ Software distribution.")
(file-name (git-file-name name version))
(sha256
(base32
- "15slv97jlvbaxj221wp4sjxk4lbdfyj9vcig0jwd4n54v89ksvib"))))
+ "17bvm0jhhs8h3p5sbb65asj53a8sxl634cc0kvcivpams74837zq"))))
(build-system dune-build-system)
(propagated-inputs (list ocaml-cudf))
(home-page "https://www.i3s.unice.fr/~cpjm/misc/")