Mentions légales du service

Skip to content

missing dep or wrong dune version ?

bitsets/dune-project requires dune >= 3.18 but opam files require dune >= 2.8 only so that the installation of menhirSdk.dev fails with opam when using an older version of dune

#=== ERROR while compiling menhirSdk.dev ======================================#
  # context              2.3.0 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.14.2+options | https://rocq-prover.org/opam/extra-dev#2025-09-30 05:19
  # path                 ~/.opam/4.14.2+flambda/.opam-switch/build/menhirSdk.dev
  # command              ~/.opam/4.14.2+flambda/bin/dune build -p menhirSdk -j 2
  # exit-code            1
  # env-file             ~/.opam/log/menhirSdk-457-01aded.env
  # output-file          ~/.opam/log/menhirSdk-457-01aded.out
  ### output ###
  # File "bitsets/dune-project", line 1, characters 11-15:
  # 1 | (lang dune 3.18)
  #                ^^^^
  # Error: Version 3.18 of the dune language is not supported.
  # Supported versions of this extension in version 3.18 of the dune language:
  # - 1.0 to 1.12
  # - 2.0 to 2.9
  # - 3.0 to 3.17
  
  
  #=== ERROR while compiling menhirLib.dev ======================================#
  # context              2.3.0 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.14.2+options | https://rocq-prover.org/opam/extra-dev#2025-09-30 05:19
  # path                 ~/.opam/4.14.2+flambda/.opam-switch/build/menhirLib.dev
  # command              ~/.opam/4.14.2+flambda/bin/dune build -p menhirLib -j 2
  # exit-code            1
  # env-file             ~/.opam/log/menhirLib-457-aab6b5.env
  # output-file          ~/.opam/log/menhirLib-457-aab6b5.out
  ### output ###
  # File "bitsets/dune-project", line 1, characters 11-15:
  # 1 | (lang dune 3.18)
  #                ^^^^
  # Error: Version 3.18 of the dune language is not supported.
  # Supported versions of this extension in version 3.18 of the dune language:
  # - 1.0 to 1.12
  # - 2.0 to 2.9
  # - 3.0 to 3.17