summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2021-11-19 04:03:10 +0100
committerJulien Lepiller <julien@lepiller.eu>2021-11-19 04:03:45 +0100
commit9d662021aec7f89ea134d21ac379b9d471ee49e1 (patch)
tree5736c418fb1c0cff7481e31dc5438755a7c1035e /gnu
parenteb9fa94ccae90fdb8ba3748dc62340db82f22872 (diff)
gnu: ocaml-jst-config: Update to 0.14.1.
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.14.1.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/ocaml.scm14
1 files changed, 10 insertions, 4 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ced13806f3..cc694d7376 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4257,11 +4257,17 @@ syntax checking on dedukti files.")
(define-public ocaml-jst-config
(package
(name "ocaml-jst-config")
- (version "0.14.0")
+ (version "0.14.1")
(source
- (janestreet-origin
- "jst-config" version
- "1fppr29vn91zpqda8jlnp8bcssd4bf3rn36ig8fnd1yhjrsvz8f6"))
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/jst-config")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0sak7rrix8vd2bscbjxbxi1d9jyd27ik59dpybfxhzhsn9s1wllv"))))
(build-system dune-build-system)
(arguments '(#:tests? #f)) ; no tests
(propagated-inputs