opam-repository/packages/kind2/ at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / kind2 /

at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 14 folders

Mark kind2 packages as not compatible with ocaml5

3 years ago

Mark kind2 packages as not compatible with ocaml5

3 years ago

Mark kind2 packages as not compatible with ocaml5

3 years ago

kind2.1.5.0 is not compatible with -strict-formats

2 years ago

Dummy change to trigger checks

3 years ago

Drop v prefix

2 years ago

Package kind2.1.9.0

2 years ago

Package kind2.2.0.0

2 years ago

Package kind2.2.1.0

2 years ago

Package kind2.2.1.1

2 years ago

Package kind2.2.2.0

2 years ago

Update packages/kind2/kind2.2.3.0/opam

9 months ago