Skip to content
CI

fix: Mark coq-mathcomp < 2.1.0 not compatible with coq.dev #312

Sign in to view logs

fix: Mark coq-mathcomp < 2.1.0 not compatible with coq.dev

fix: Mark coq-mathcomp < 2.1.0 not compatible with coq.dev #312

The logs for this run have expired and are no longer available.