Package frama-clang

Failed to find a solution:

no platform:
2025-05-16 17:49.41 [INFO] Solving for ocaml-base-compiler,
                           frama-clang, constraints ocaml-base-compiler<=5.3.0,
                           frama-clang=0.0.14 using opam_repository_commit cf409d95af00ff822422bd76b657ed213b661401

2025-05-16 17:49.43 [INFO] base: eliminated all possibilities in 0.51 s

2025-05-16 17:49.43 [INFO] = base =

2025-05-16 17:49.43 [INFO] Can't find all required versions.
Selected: base-bigarray.base base-domains.base base-effects.base
          base-nnp.base base-threads.base base-unix.base ocaml-config.3
          ocaml-options-vanilla.1 frama-clang&ocaml-base-compiler
          system-mingw system-mingw|system-msvc&winpthreads
          ocaml-base-compiler ocaml-base-compiler ocaml base-domains
          ocaml-variants ocaml-base-compiler
- frama-clang -> (problem)
    User requested = 0.0.14
    No usable implementations:
      frama-clang.0.0.17: Rejected by user-specified constraint frama-clang (= 0.0.14)
      frama-clang.0.0.17~beta: Rejected by user-specified constraint frama-clang (= 0.0.14)
      frama-clang.0.0.16: Rejected by user-specified constraint frama-clang (= 0.0.14)
      frama-clang.0.0.15: Rejected by user-specified constraint frama-clang (= 0.0.14)
      frama-clang.0.0.14: Availability condition not satisfied
- ocaml -> ocaml.5.3.0
    ocaml-compiler 5.3.0 requires = 5.3.0
- ocaml-base-compiler -> ocaml-base-compiler.5.3.0
    User requested <= 5.3.0
- ocaml-compiler -> ocaml-compiler.5.3.0
    ocaml-base-compiler 5.3.0 requires = 5.3.0
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0+BER: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied