Release v2.4 #117
Annotations
10 warnings
|
src/word_ssrZ.v#L25
Hiding binding of key N to nat_scope
|
|
src/word_ssrZ.v#L25
Hiding binding of key Z to int_scope
|
|
src/word_ssrZ.v#L314
Notation ler_oppr is deprecated since mathcomp 1.17.0.
|
|
src/word_ssrZ.v#L314
Notation ler_oppr is deprecated since mathcomp 1.17.0.
|
|
src/word_ssrZ.v#L314
Notation ler_oppr is deprecated since mathcomp 1.17.0.
|
|
src/word_ssrZ.v#L337
Notation ltr_subl_addr is deprecated since mathcomp 1.17.0.
|
|
src/word_ssrZ.v#L337
Notation ltr_subl_addr is deprecated since mathcomp 1.17.0.
|
|
src/word_ssrZ.v#L337
Notation ltr_subl_addr is deprecated since mathcomp 1.17.0.
|
|
src/word.v#L25
Hiding binding of key N to nat_scope
|
|
src/word.v#L25
Hiding binding of key Z to int_scope
|
This job succeeded
Loading