Merge pull request #409 from ppedrot/rm-tc-evd-hook

Adapt w.r.t. rocq-prover/rocq#20278.

Be less specific about the OCaml version for CI.

Remove version constraint for coq-unicoq

Adapt to rocq-prover/rocq#18164

We want to remove deprecated Arith files.

Actually install coq-unicoq; don't just pin it.

Test against Coq 8.16 and both OCaml 4.12 and 4.14

Branching 8.15

Use coq:8.14 docker image and unicoq/master-8.14 branch.

updating coq image

Merge #321

321: Backporting 8.12 r=beta-ziliani a=beta-ziliani

Backporting several bugfixes, including some unsoundness fixes.

- [ ] TODO: change the versioning to match that of master.

Co-authored-by: beta <[email protected]>
Co-authored-by: Beta Ziliani <[email protected]>