-
Erik Martin-Dorel authored
* 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