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 -native packages #27

Open JasonGross opened 1 year ago

JasonGross commented 1 year ago

I'd like a versions of 2.0.0, 1.17.0, and latest mathcomp docker images for Coq dev-native, 8.18-native, and 8.17-native. Is this possible?