CI #66
Annotations
10 warnings
|
vendor/classes/src/EqualDec.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/classes/src/EqualDec.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/classes/src/EqualDec.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/classes/src/EqualDec.v#L4
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/array/src/Array.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/array/src/Array.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/array/src/Array.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/classes/src/Classes.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
|
|
vendor/array/src/Array.v#L281
Notation firstn_length is deprecated since 8.20.
|
The logs for this run have expired and are no longer available.
Loading