Code

coq-of-ocaml: add version 2.5.3#22839

Code

Merged

kit-ty-kate merged 3 commits intoocaml:masterocaml/opam-repository:masterfrom clarus:[email protected]clarus/opam-repository:[email protected]Copy head branch name to clipboardJan 6, 2023

+135

Commits

Commits on Jan 4, 2023

• coq-of-ocaml: add version 2.5.3

  clarus

  committed
  7b9e0c6

  Copy full SHA for 7b9e0c6

Commits on Jan 5, 2023

• coq-of-ocaml: add version constraint on angstrom, suggested by @raphael-proust

  clarus

  committed
  5114fea

  Copy full SHA for 5114fea

• coq-of-ocaml: add lower bound on csexp

  clarus

  committed
  a41ddac

  Copy full SHA for a41ddac