CI (Coq)

Add support for Mac #590

Annotations

10 warnings

Coq.ZArith.ZArith has been replaced by Stdlib.ZArith.ZArith.

Coq.micromega.Lia has been replaced by Stdlib.micromega.Lia.

Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Coq.Lists.List has been replaced by Stdlib.Lists.List.

Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.

Coq.Strings.String has been replaced by Stdlib.Strings.String.

Coq.Structures.Orders has been replaced by Stdlib.Structures.Orders.