Bump etc/coq-scripts from e4d9e81 to 4327aa1 (#114)
#236
Annotations
10 warnings
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L12
There is no flag or option with this name: "Template Check".
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L28
There is no flag or option with this name:
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L29
There is no flag or option with this name: "Apply With Renaming".
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L57
Use of “Require” inside a module is fragile. It is not recommended
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L58
Use of “Require” inside a module is fragile. It is not recommended
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L59
Use of “Require” inside a module is fragile. It is not recommended
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L60
Use of “Require” inside a module is fragile. It is not recommended
|
|
all:
src/Common/Coq__8_4__8_5__Compat.v#L610
Using Vector.t is known to be technically difficult, see
|
|
all:
src/Parsers/StringLike/Core.v#L2
Coq.Lists.List has been replaced by Stdlib.Lists.List.
|
|
all:
src/Parsers/StringLike/Core.v#L3
Coq.Relations.Relation_Definitions has been replaced by
|
Loading