Do not add a mixin-src when there is already one declared #1385
TragicusAnnotations
10 warnings
|
opam (9.0):
HB/structures.v#L35
Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.
|
|
opam (9.0):
HB/structures.v#L34
Coq.ssr.ssreflect.Phantom has been replaced by
|
|
opam (9.0):
HB/structures.v#L33
Coq.ssr.ssreflect.phantom has been replaced by
|
|
opam (9.0):
HB/structures.v#L32
Coq.ssr.ssreflect.Phant has been replaced by
|
|
opam (9.0):
HB/structures.v#L31
Coq.ssr.ssreflect.phant has been replaced by
|
|
opam (9.0):
HB/structures.v#L30
Coq.Init.Specif.sigT has been replaced by Corelib.Init.Specif.sigT.
|
|
opam (9.0):
HB/structures.v#L29
Coq.Init.Datatypes.prod has been replaced by
|
|
opam (9.0):
HB/structures.v#L28
Coq.Init.Datatypes.pair has been replaced by
|
|
opam (9.0):
HB/structures.v#L27
Coq.Init.Datatypes.Some has been replaced by
|
|
opam (9.0):
HB/structures.v#L24
Coq.Init.Datatypes.None has been replaced by
|