coq-of-ocaml: add version 2.5.3

[clarus]

There are versions for OCaml 4.12, 4.13, and 4.14. Thanks!

[raphael-proust]

You are missing a lower-bound for this constraint. This is causing the CI error:

# File "src/constant.ml", line 55, characters 13-25:
# 55 | let dquote = Angstrom.map ~f:(fun _ -> PDQuote) (Angstrom.char '"')
#                   ^^^^^^^^^^^^
# Error: Unbound value Angstrom.map

I think the map function was introduced in 0.15.0: inhabitedtype/angstrom@93f29c2

So I'd suggest

Suggested change

	"angstrom"
	"angstrom" {>= "0.15.0"}

If this is correct, then you should also upstream this change.

[raphael-proust]

Note: the same change is needed on all three package files.

[clarus]

Thanks! I have added the constraint for all three packages.

[raphael-proust]

There seems to be a lower-bound constraint missing here:
lower-bounds (failed: Unbound type constructor Csexp.t)

I'm not sure what exact version you need, but the downgrade which reveals the error is:

downgrade csexp              1.5.1 to 1.0.0      [required by coq-of-ocaml]

[clarus]

OK, thanks! I added a lower bound constraint.

[kit-ty-kate]

Thanks