Release v2.4 #118
Annotations
10 warnings
|
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#L379
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
src/word.v#L379
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
src/word.v#L379
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
src/word.v#L518
Notation ler_pemulr is deprecated since mathcomp 1.17.0.
|
This job succeeded
Loading