Adapt to https://github.com/coq/coq/pull/18224 #2579
proux01Annotations
5 errors
|
build (dev, 4.14-flambda, local)
A left-recursive notation must have an explicit level.
|
|
build (dev, 4.14-flambda, quick)
A left-recursive notation must have an explicit level.
|
|
build (dev, 4.14-flambda, opam)
The job was canceled because "dev_4_14-flambda_local" failed.
|
|
build (dev, 4.14-flambda, opam)
A left-recursive notation must have an explicit level.
|
|
build (dev, 4.14-flambda, opam)
The operation was canceled.
|