Package cvc5.1.3.0-1

[joaomhmpereira]

cvc5.1.3.0-1

OCaml bindings for the cvc5 SMT solver
OCaml bindings for the cvc5 SMT solver

---

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

---

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

[jmid]

CI summary:

• fails on build on arch, fedora-41, and fedora-42 with Could not find the required dependency GMP (>= 6.3) in the system which I believe is a conf-gmp issue
• it fails on arm32 - where I can see it has been disabled in packages/cvc5/cvc5.1.3.0/opam with available: arch != "arm32"
• there's a segfault on ocaml-4.14-nnpchecker 🤔
• there were timeouts on riscv64
• FreeBSD is failing with pkg: No packages available to install matching 'py39-pyparsing' have been found in the repositories which I believe is a conf-python3-pyparsing issue
• Windows is failing during installation of conf-python3-pyparsing and conf-python-3-dev

The arm32 failure should be easily addressed.
Also: would you consider adding an x-maintenance-intent entry? https://discuss.ocaml.org/t/opam-repository-archive-clarification-of-the-opam-fields/16050