Misc cleanups to Overture, Colimits/Quotient #2880
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1
Could not find a terminator for warning:
File "./contrib/SetoidRewrite.v", line 13, characters 0-30:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-8.21,deprecated,default]
|
|
Run coq-community/docker-coq-action@v1:
contrib/SetoidRewrite.v#L13
"From Coq" has been replaced by "From Stdlib".
|
|
Run coq-community/docker-coq-action@v1
Could not find a terminator for warning:
File "./contrib/SetoidRewrite.v", line 16, characters 0-32:
Warning: "From Coq" has been replaced by "From Stdlib".
[deprecated-from-Coq,deprecated-since-8.21,deprecated,default]
|
|
Run coq-community/docker-coq-action@v1:
contrib/SetoidRewrite.v#L16
"From Coq" has been replaced by "From Stdlib".
|
Loading