adapt to coq/coq#19872 (#150) #58
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
theories/Core/RelDec.v#L1
Coq.Bool.Bool has been replaced by Stdlib.Bool.Bool.
|
|
theories/Core/RelDec.v#L2
Coq.Classes.RelationClasses has been replaced by
|
|
theories/Core/RelDec.v#L3
Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.
|
|
theories/Core/EquivDec.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
|
|
theories/Core/Decision.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
|
|
theories/Data/PreFun.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
|
|
theories/Data/PreFun.v#L2
Coq.Relations has been replaced by Stdlib.Relations.
|
|
theories/Data/ListNth.v#L1
Coq.Lists has been replaced by Stdlib.Lists.
|
|
theories/Data/ListNth.v#L2
Coq.Arith has been replaced by Stdlib.Arith.
|
|
theories/Data/ListFirstnSkipn.v#L1
Coq.Lists has been replaced by Stdlib.Lists.
|
The logs for this run have expired and are no longer available.
Loading