Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #2856
Annotations
2 errors and 10 warnings
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This job was cancelled
Loading