opam-repository/packages/why3-coq/why3-coq.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-coq / why3-coq.1.8.0 /

at main 1 file

Fix reverse dependencies of coq 9.0 package

9 months ago