Update installation instructions for Coq 8.12 and recent versions of FCSL-PCM

ilyasergey / pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

https://ilyasergey.net/pnp

BSD 2-Clause "Simplified" License

159 stars 16 forks source link

Open anton-trunov opened 3 years ago

anton-trunov commented 3 years ago

For coq-fcsl-pcm package release v1.3 breaks compatibility with the lower 1.x versions, but there is a workaround:

opam install coq-fcsl-pcm.1.2.0

For coq-htt (the master version builds fine with Coq 8.12, but the opam file does not allow it):

opam install coq-htt --ignore-constraints-on=coq