Adapt to coq/coq#17836 (sort poly) (update rupicola) #3753
Annotations
9 errors
|
rupicola/bedrock2/deps/coqutil/src/coqutil/Tactics/Records.v#L68
Constructor Constr.Unsafe.Proj expects 2 arguments, but is applied to 3 arguments
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading