Bump etc/coq-scripts from 8b66ebe to 3e0523e
#138
Annotations
2 errors and 10 warnings
|
src/Common.v#L999
Illegal application (Non-functional construction):
|
|
src/Common.v#L999
Illegal application (Non-functional construction):
|
|
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|
|
src/Common/Coq__8_4__8_5__Compat.v#L27
There is no flag or option with this name:
|
|
src/Common/Coq__8_4__8_5__Compat.v#L28
There is no flag or option with this name: "Apply With Renaming".
|
|
src/Common/Coq__8_4__8_5__Compat.v#L56
Use of “Require” inside a module is fragile. It is not recommended
|
|
src/Common/Coq__8_4__8_5__Compat.v#L57
Use of “Require” inside a module is fragile. It is not recommended
|
|
src/Common/Coq__8_4__8_5__Compat.v#L58
Use of “Require” inside a module is fragile. It is not recommended
|
|
src/Common/Coq__8_4__8_5__Compat.v#L59
Use of “Require” inside a module is fragile. It is not recommended
|
|
src/Common/Tactics/SplitInContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
src/Common/Tactics/SplitInContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet"!
|
|
src/Common/Tactics/SplitInContext.v#L1
Trying to mask the absolute name "Coq.Lists.ListSet.set_diff_nodup"!
|
The logs for this run have expired and are no longer available.
Loading