Back to pull request #794

Adapt to https://github.com/coq/coq/pull/19530 #1104

Sign in to view logs

Annotations

10 warnings

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "_ = _ :> _" defined at level 70 with arguments constr

Notations "( _ , _ , .. , _ )" defined at level 0 with arguments

Notations "_ : _" defined at level 100 with arguments constr

Notations "_ , _" defined at level 26 with arguments constr

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

This job succeeded