Adapt to coq/coq#20178 (cominductive API change) #76
Annotations
7 warnings
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
apps/derive/theories/derive/eqb_core_defs.v#L1
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
apps/derive/theories/derive/eqb_core_defs.v#L2
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1
Loading Stdlib without prefix is deprecated.
|
Loading