3.3.0

CHANGES:

• Sandbox preprocessing, lint, and dialect rules by default. All these rules
  now require precise dependency specifications (#5807, @rgrinberg)

• Allow list expansion in the pps specification for preprocessing (#5820,
  @Firobe)

• Add warnings 67-69 to dune's default set of warnings. These are warnings of
  the form "unused X.." (#5844, @rgrinbreg)

• Introduce project "composition" for coq theories. Coq theories in separate
  projects can now refer to each other when in the same workspace (#5784,
  @Alitzer, @rgrinberg)

• Fix hint message for data_only_dirs that wrongly mentions the unknown
  constructor data_only (#5803, @lambdaxdotx)

• Fix creating sandbox directory trees by getting rid of buggy memoization
  (@5794, @rgrinberg, @snowleopard)

• Handle directory dependencies in sandboxed rules. Previously, the parents of
  these directory dependencies weren't created. (#5754, @rgrinberg)

• Set the exit code to 130 when dune is terminated with a signal (#5769, fixes
  #5757)

• Support new locations of unix, str, dynlink in OCaml >= 5.0 (#5582, @dra27)

• The coq.theory stanza now produces rules for running coqdoc. Given a
  theory named mytheory, the directory targets mytheory.html/ and
  mytheory.tex/ or additionally the aliases @doc and @doc-latex will
  build the HTML and LaTeX documentation repsectively. (#5695, fixes #3760,
  @Alizter)

• Coq theories marked as (boot) cannot depend on other theories
  (#5867, @ejgallego)

• Ignore bigarray in (libraries) with OCaml >= 5.0. (#5526, fixes #5494,
  @moyodiallo)

• Start with :standard when building the ctypes generated foreign stubs so that
  we include important compiler flags, such as -fPIC (#5816, fixes #5809).