Closed erikmd closed 2 years ago
Summary: Ditch 4.05.0 in mathcomp/mathcomp stable images
Related: https://github.com/coq-community/docker-coq/issues/30
Summary: Ditch 4.05.0 in mathcomp/mathcomp stable images
Related: https://github.com/coq-community/docker-coq/issues/30