Package pilat

Failed to find a solution:

no platform:
2025-05-16 17:10.31 [INFO] Solving for ocaml-base-compiler,
                           pilat, constraints ocaml-base-compiler<=5.3.0,
                           pilat=1.1 using opam_repository_commit cf409d95af00ff822422bd76b657ed213b661401

2025-05-16 17:10.32 [INFO] base: eliminated all possibilities in 0.58 s

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

2025-05-16 17:10.32 [INFO] Can't find all required versions.
Selected: base-threads.base base-unix.base conf-blas.1 conf-gmp.5
          conf-lapack.1 conf-perl.2 csexp.1.5.2 dune.3.18.2
          dune-configurator.3.18.2 lacaml.11.1.1 ocaml.5.5.0 ocaml-config.3
          ocaml-options-vanilla.1 ocamlfind.1.9.8 pilat&ocaml-base-compiler
          ocaml-variants ocaml-base-compiler ocaml-base-compiler
- frama-c -> (problem)
    Rejected candidates:
      frama-c.30.0: Requires zarith >= 1.9
      frama-c.30.0~beta: Requires ocaml >= 4.14.0 & < 5.3.0~
      frama-c.29.0: Requires ocaml >= 4.13.1 & < 5.3
      frama-c.29.0~beta: Requires ocaml >= 4.13.1 & < 5.3
      frama-c.28.1: Requires ocaml >= 4.13.1 & < 5.3
      ...
- ocaml-base-compiler -> ocaml-base-compiler.5.3.0
    User requested <= 5.3.0
- ocaml-compiler -> (problem)
    ocaml-base-compiler 5.3.0 requires = 5.3.0
    Rejected candidates:
      ocaml-compiler.5.5: Incompatible with restriction: = 5.3.0
      ocaml-compiler.5.4: Incompatible with restriction: = 5.3.0
      ocaml-compiler.5.3.0: Requires ocaml = 5.3.0
      ocaml-compiler.5.3.0~rc1: Incompatible with restriction: = 5.3.0
      ocaml-compiler.5.3.0~beta2: Incompatible with restriction: = 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
      ...
- pilat -> pilat.1.1
    User requested = 1.1
- zarith -> zarith.1.7-1
    pilat 1.1 requires < 1.8