Code

Fix #699: add ocaml versions#903

Code

Open

W95Psp wants to merge 3 commits intomaincryspen/hax:mainfrom fix-699cryspen/hax:fix-699Copy head branch name to clipboard

+64-38

Commits

Commits on Jan 23, 2025

• pin OCaml dependencies

  W95Psp

  committed
  a18473c

  Copy full SHA for a18473c

• fix(engine): add constraint to OCaml version

  W95Psp

  committed
  2c4b368

  Copy full SHA for 2c4b368

• fix(opam): versions have a prefix v.........

  W95Psp

  committed
  6501524

  Copy full SHA for 6501524