diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-19 04:03:10 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-19 04:03:45 +0100 |
| commit | 9d662021aec7f89ea134d21ac379b9d471ee49e1 (patch) | |
| tree | 5736c418fb1c0cff7481e31dc5438755a7c1035e /gnu/packages | |
| parent | eb9fa94ccae90fdb8ba3748dc62340db82f22872 (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/packages')
| -rw-r--r-- | gnu/packages/ocaml.scm | 14 |
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 |