opam-repository/packages/why3/why3.1.8.0/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / why3 / why3.1.8.0 /

at main 1 file

Mark Why3 + Stackify as incompatible with OCaml < 4.12.

11 months ago