diff options
author | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 11:12:02 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 13:14:58 +0200 |
commit | 4ce554c6daf474ca85dfca95a0c6d0e0ba45af47 (patch) | |
tree | 5627a71a71e6f3909f6e469500a9b3e5b33ddcf9 /gnu | |
parent | ae08819ca56dac7314c6147b476b63302480c7e6 (diff) | |
download | guix-4ce554c6daf474ca85dfca95a0c6d0e0ba45af47.tar.gz |
gnu: ocaml-jst-config: Update to 0.15.1.
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.15.1.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 890c6c122b..160228ac76 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4498,7 +4498,7 @@ syntax checking on dedukti files.") (define-public ocaml-jst-config (package (name "ocaml-jst-config") - (version "0.14.1") + (version "0.15.1") (source (origin (method git-fetch) @@ -4508,7 +4508,7 @@ syntax checking on dedukti files.") (file-name (git-file-name name version)) (sha256 (base32 - "0sak7rrix8vd2bscbjxbxi1d9jyd27ik59dpybfxhzhsn9s1wllv")))) + "1yp5p63clvaxmkf7vlasgyapxc31x29c154pyq63n0fvi2fpf4y3")))) (build-system dune-build-system) (arguments '(#:tests? #f)) ; no tests (propagated-inputs |