Adapt to https://github.com/coq/coq/pull/19530 #2916
Annotations
3 errors and 10 warnings
|
|
|
Docker-Coq-Action
The reference Corelib.Init.Byte.byte was not found in the current
|
|
Docker-Coq-Action
The operation was canceled.
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
|
Docker-Coq-Action
Coq.ssr has been replaced by Stdlib.ssr.
|
|
Docker-Coq-Action
"From Coq" has been replaced by "From Stdlib".
|
Loading