Adapt to https://github.com/coq/coq/pull/19530 #51
Annotations
100 warnings
Artifacts
Produced during runtime
Name | Size | Digest | |
---|---|---|---|
coqdoc
Expired
|
394 KB |
sha256:41faa2e0b88efe9f683467b55a2d78329948d8c49d725b23a4960762c1254082
|
|