v9.0.0+coq8.19

Tested with Coq 8.19+rc1

v9.0.0+coq8.18

Tested with Coq 8.18+rc1

v9.0.0+coq8.17

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).

v9.0.0+coq8.16

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).

v9.0.0+coq8.15

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).

v9.0.0+coq8.14

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).

v9.0.0+coq8.13

Remove [ _ ]%bigN, [ _ ]%bigZ and [ _ ]%bigQ notations that were causing too many conflicts (use BigN.to_Z, BigZ.to_Z and BigQ.to_Q instead).

V8.17.0

Tested with Coq 8.17+rc1

V8.16.0

Remove scheduled workflows

C.f. https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Make.20hint.20locality.20warning.20an.20error/near/281696330

V8.15.0

Tested with Coq 8.15+rc1