Docker CI #620
Annotations
4 warnings
|
theories/shepherdson.v#L46
Reference addn_rec is deprecated since mathcomp 2.3.0.
|
|
theories/shepherdson.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
theories/dfa.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
theories/setoid_leq.v#L4
"From Coq" has been replaced by "From Stdlib".
|
The logs for this run have expired and are no longer available.
Loading