Bump etc/coq-scripts from 8b66ebe to 8648113
#133
dependabot[bot]Annotations
2 errors and 2 warnings
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L24
The reference Int31.int31 was not found in the current environment.
|
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L24
The reference Int31.int31 was not found in the current environment.
|
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|
|
build:
src/Common/Coq__8_4__8_5__Compat.v#L11
There is no flag or option with this name: "Template Check".
|