As per the README, the Coq version supported is: (>= "8.10.0" & < "8.12~"). To install this, I have to use a lower version of the OCaml compiler (specifically 4.10.2). I create a switch with this. However, coq-mathcomp-ssreflect, or coq-compcert packages are not present under this version. If I use a later version of the OCaml compiler (say: 4.14.2), the other packages are supported but lower versions of coq cannot be installed.
As per the README, the Coq version supported is:
(>= "8.10.0" & < "8.12~"). To install this, I have to use a lower version of the OCaml compiler (specifically4.10.2). I create a switch with this. However,coq-mathcomp-ssreflect, orcoq-compcertpackages are not present under this version. If I use a later version of the OCaml compiler (say:4.14.2), the other packages are supported but lower versions of coq cannot be installed.