Releases: coq-community/bignums
v9.0.0+coq8.20
erikmd
Erik Martin-Dorel
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).