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

anil.recoil.org / opam-repository

this repo has no description

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

at fa0e8c74bf53d0b4373e7cf144e08b669d2d1970 5 folders

ortac-runtime-qcheck-stm.0.2.0

Strenghten constraints on ortac internal dependencies

1 year ago

ortac-runtime-qcheck-stm.0.3.0

[new release] Five Ortac packages 0.3.0

2 years ago

ortac-runtime-qcheck-stm.0.4.0

[new release] Five Ortac packages 0.4.0

1 year ago

ortac-runtime-qcheck-stm.0.5.0

Fix x-maintenance-intent syntax in Ortac packages

11 months ago

ortac-runtime-qcheck-stm.0.6.0

[new release] Ortac 0.6.0

10 months ago