search

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]
https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link

Add mathcomp/mathcomp:1.12.0-coq-8.13 #10

Closed erikmd closed 3 years ago

erikmd commented 3 years ago

href: https://github.com/coq/opam-coq-archive/pull/1493