dune: 1.2.1 -> 1.3.0

[vbgl]

Motivation for this change

Update, and fix the output of dune --version.

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Fits CONTRIBUTING.md.

---

[GrahamcOfBorg]

Success on x86_64-darwin (full log)

Attempted: dune

Partial log (click to expand)

installing
Processing file dune.install as dune.
post-installation fixup
moving /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/man to /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/share/man
moving /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/doc to /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/share/doc
gzipping man pages under /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/share/man/
strip is /nix/store/4w56qihlrddav67p7d1vy5qkyayaqw11-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/lib  /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0/bin
patching script interpreter paths in /nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0
/nix/store/ldyfn06f495damk68f3qd6a58xk9ac1v-dune-1.3.0

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: dune

Partial log (click to expand)

shrinking /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_which-program/jbuilder/which_program_jbuilder.cmxs
shrinking /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_dsexp/dsexp.cmxs
shrinking /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_stdune/stdune.cmxs
shrinking /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/configurator/configurator.cmxs
gzipping man pages under /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/share/man/
strip is /nix/store/h0lbngpv6ln56hjj59i6l77vxq25flbz-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/lib  /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0/bin
patching script interpreter paths in /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0
checking for references to /build in /nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0...
/nix/store/gvf5xhp1fm7bw6p5cr8xqvd2r01xlm8d-dune-1.3.0

[GrahamcOfBorg]

Success on aarch64-linux (full log)

Attempted: dune

Partial log (click to expand)

shrinking /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_stdune/stdune.cmxs
shrinking /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_ocaml_config/ocaml_config.cmxs
shrinking /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_dsexp/dsexp.cmxs
shrinking /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/lib/ocaml/4.06.1/site-lib/dune/_caml/dune_caml.cmxs
gzipping man pages under /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/share/man/
strip is /nix/store/y4ymnvgxygpq05h03kyzbj572zmh6zla-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/lib  /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0/bin
patching script interpreter paths in /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0
checking for references to /build in /nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0...
/nix/store/a66baiynb13a40m5pggl7ias60iacgaa-dune-1.3.0