Package smtml.0.1.2

[filipeom]

smtml.0.1.2

A Front-end library for SMT solvers in OCaml
A Multi Back-end Front-end for SMT Solvers in OCaml.

---

• Homepage: https://github.com/formalsec/smtml
• Source repo: git+https://github.com/formalsec/smtml.git
• Bug tracker: https://github.com/formalsec/smtml/issues

---

🐫 Pull-request generated by opam-publish v2.3.0

[filipeom]

The CI problem seems unrelated to this specific package. It's due to ocaml_intrinsics failing to build on arm64-ocaml-5.2. I've searched the opam manual but couldn't find this. In the available field, is there a way to specify (os = "arm64" & ocaml < 5.2)?

[raphael-proust]

@filipeom You can use ocaml-version in the available field. So it'd be

available: arch != "arm64" | ocaml-version != "5.2"

Or something along these lines.

[filipeom]

@filipeom You can use ocaml-version in the available field. So it'd be

available: arch != "arm64" | ocaml-version != "5.2"

Or something along these lines.

This worked but then the linter was complaining that ocaml-version is deprecated to I just constrained ocaml_intrinsics < "v0.17.0"

[zapashcanon]

Shouldn't the constraint be added to ocaml_intrinsics instead ?

[avsm]

Thanks! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.