Adapt to Coq/Coq#18164 #9
Annotations
10 warnings
theories/Programming/With.v#L59
Declaring a scope implicitly is deprecated; use in advance an
|
theories/Structures/Monad.v#L56
Declaring a scope implicitly is deprecated; use in advance an
|
theories/Data/Char.v#L35
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
theories/Data/Char.v#L37
Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead.
|
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
theories/Data/String.v#L35
Notation bool_cmp is deprecated since 8.12.
|
theories/Data/String.v#L36
Notation bool_cmp is deprecated since 8.12.
|
The logs for this run have expired and are no longer available.
Loading