Add -native packages #27
Description
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?
{{ message }}
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?