Skip to content
CI

fix(coq-mathcomp-ssreflect.dev): Relax elpi constraint to allow coq.8.16 #63

Sign in to view logs

fix(coq-mathcomp-ssreflect.dev): Relax elpi constraint to allow coq.8.16

fix(coq-mathcomp-ssreflect.dev): Relax elpi constraint to allow coq.8.16 #63

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