Docker CI #639
Annotations
10 warnings
|
theories/two_way.v#L3
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/wmso.v#L3
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/myhill_nerode.v#L3
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/regexp.v#L4
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/nfa.v#L3
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/dfa.v#L4
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/dfa.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
theories/languages.v#L4
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
theories/misc.v#L3
Library File mathcomp.ssreflect.all_ssreflect is deprecated
|
|
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