opam-repository/packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.5.0/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / ortac-runtime-qcheck-stm / ortac-runtime-qcheck-stm.0.5.0 /

at main 1 file

Fix x-maintenance-intent syntax in Ortac packages

11 months ago