David Felipe Hernández Chiapa comments

Repositories
Issues
Comments

Results 1 comments of


                                            David Felipe Hernández Chiapa

Error building base.

My Coq version is 8.9.0, yes, I did all the steps using opam. coq-mathcomp-ssreflect: information on all versions > name coq-mathcomp-ssreflect all-installed-versions 1.8.0 [default] all-versions 1.6 1.6.1 1.6.2 1.6.4 1.7.0...