Closed tomaz1502 closed 3 months ago
This PR patches some breaks introduced by the new version of MetaCoq's master. It also changes some constraints in the opam file, so that the new github action can work.
This PR patches some breaks introduced by the new version of MetaCoq's master. It also changes some constraints in the opam file, so that the new github action can work.