opam-repository/packages/ortac-qcheck-stm/ at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

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

at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 6 folders

ortac-qcheck-stm.0.1.0

Add upper bound on Gospel dependency

1 year ago

ortac-qcheck-stm.0.2.0

Strenghten constraints on ortac internal dependencies

1 year ago

ortac-qcheck-stm.0.3.0

[new release] Five Ortac packages 0.3.0

1 year ago

ortac-qcheck-stm.0.4.0

[new release] Five Ortac packages 0.4.0

1 year ago

ortac-qcheck-stm.0.5.0

Fix x-maintenance-intent syntax in Ortac packages

11 months ago

ortac-qcheck-stm.0.6.0

[new release] Ortac 0.6.0

9 months ago