Skip to content

Fix install of the michocoq binary

Guillaume Claret requested to merge fix-opam-install into master

Before it was not installing anymore due to a change of the opam file name (my fault).

Merge request reports