Bump etc/coq-scripts from d3dc888 to 7b54b75
#214
Annotations
10 warnings
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L29
There is no flag or option with this name:
|
|
all:
src/Parsers/StringLike/Core.v#L21
A coercion will be introduced instead of an instance in future
|
|
all:
src/Parsers/StringLike/Core.v#L47
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Parsers/StringLike/Core.v#L107
A coercion will be introduced instead of an instance in future
|
|
all:
src/Parsers/ExtrOcamlPrimitives.v#L17
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Computation/Notations.v#L20
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Common/BoolFacts.v#L11
Declaring a scope implicitly is deprecated; use in advance an
|
|
all:
src/Common/Frame.v#L285
A coercion will be introduced instead of an instance in future
|
|
all:
src/Common/Frame.v#L496
A coercion will be introduced instead of an instance in future
|
The logs for this run have expired and are no longer available.
Loading