Adapt w.r.t. coq/coq#17955. #121
ppedrot
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
10 warnings
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L12
There is no flag or option with this name: "Template Check".
|
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L30
There is no flag or option with this name:
|
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L31
There is no flag or option with this name: "Apply With Renaming".
|
|
build:
src/Computation/Notations.v#L20
Declaring a scope implicitly is deprecated; use in advance an
|
|
build:
src/Common/BoolFacts.v#L11
Declaring a scope implicitly is deprecated; use in advance an
|
|
build:
src/Common/Frame.v#L215
Notation Le.le_refl is deprecated since 8.16.
|
|
build:
src/Common/Frame.v#L215
Notation Le.le_trans is deprecated since 8.16.
|
|
build:
src/Common/Frame.v#L215
Notation Le.le_refl is deprecated since 8.16.
|
|
build:
src/Common/Frame.v#L215
Notation Le.le_trans is deprecated since 8.16.
|
|
build:
src/Common/Frame.v#L285
A coercion will be introduced instead of an instance in future
|