Adapt to https://github.com/coq/coq/pull/19530 #49
proux01Annotations
18 errors and 10 warnings
|
build (coqorg/coq:8.12):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.12):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.13):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.13):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.18):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.18):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.15):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.15):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.11):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.11):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.16):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.16):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.17):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.17):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.19):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.19):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path
|
|
build (coqorg/coq:8.14):
theories/Core/EquivDec.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:8.14):
theories/Core/Decision.v#L1
Cannot find a physical path bound to logical path matching suffix
|
|
build (coqorg/coq:dev):
theories/Core/RelDec.v#L1
Coq.Bool.Bool has been replaced by Stdlib.Bool.Bool.
|
|
build (coqorg/coq:dev):
theories/Core/RelDec.v#L2
Coq.Classes.RelationClasses has been replaced by
|
|
build (coqorg/coq:dev):
theories/Core/RelDec.v#L3
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
build (coqorg/coq:dev):
theories/Structures/Monoid.v#L16
Automatically putting MonoidLaws in Prop even though it was declared
|
|
build (coqorg/coq:dev):
theories/Data/Positive.v#L1
Coq.PArith.BinPos has been replaced by Stdlib.PArith.BinPos.
|
|
build (coqorg/coq:dev):
theories/Data/Positive.v#L57
Coq.PArith.BinPos has been replaced by Stdlib.PArith.BinPos.
|
|
build (coqorg/coq:dev):
theories/Data/Prop.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
build (coqorg/coq:dev):
theories/Programming/Injection.v#L1
Coq.Strings.Ascii has been replaced by Stdlib.Strings.Ascii.
|
|
build (coqorg/coq:dev):
theories/Programming/Injection.v#L2
Coq.Strings.String has been replaced by Stdlib.Strings.String.
|
|
build (coqorg/coq:dev):
theories/Programming/Le.v#L1
Coq.Bool.Bool has been replaced by Stdlib.Bool.Bool.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
coqdoc
|
398 KB |
|