v9.0.0+rocq9.0

Tested with Rocq 9.0+rc1

v9.0.0+coq8.20

Tested with coq 8.20-alpha

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