diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 18:28:15 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 21:21:22 +0200 |
| commit | 42d5f769fb940912b2a64e8d0b2528e492684ef5 (patch) | |
| tree | 48be7eea74e1c9a914c03d13de3f4bb730b1fc88 /gnu/packages/ocaml.scm | |
| parent | b4d97ef2dee113eec1307207874253c4a2e39e39 (diff) | |
gnu: dune: Update to 4.4.1.
* gnu/packages/ocaml.scm (dune): Update to 4.4.1.
* gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -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 63fa716c27..9968771bfc 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1705,7 +1705,7 @@ full_split, cut, rcut, etc..") (define dune-bootstrap (package (name "dune") - (version "3.3.1") + (version "3.4.1") (source (origin (method git-fetch) (uri (git-reference @@ -1714,7 +1714,7 @@ full_split, cut, rcut, etc..") (file-name (git-file-name name version)) (sha256 (base32 - "0wdja70l7y1cj1d0sijm0q0cbics8xd9wqka7zyb29y1cc57pasa")))) + "02zn79l7y7rvy7b6bimlf5qymrvzc43w8q7l4jx3k8wzn2g5326z")))) (build-system ocaml-build-system) (arguments `(#:tests? #f; require odoc |