Adapt to https://github.com/coq/coq/pull/19530 #50
Annotations
10 warnings
|
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Structures/Monad.v#L58
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Structures/IXMonad.v#L14
Declaring a scope implicitly is deprecated; use in advance an
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L33
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
|
|
theories/Data/String.v#L34
Notation bool_cmp is deprecated since 8.12.
|
This job succeeded
Loading