Binary Rational Numbers release for Coq 8.18

Release compatible with Coq 8.18.

Binary Rational Numbers release for Coq 8.14

Release compatible with Coq 8.14.

Binary Rational Numbers release for Coq 8.13

Release compatible with Coq 8.12 and 8.13, featuring the following changes:

• add explicit non-global hint locality
• switch out omega for lia
• generalize applicable definitions from Set to Type

Binary Rational Numbers release for Coq 8.12

Release known to be compatible with Coq 8.7 to Coq 8.12. Fixes various deprecations and introduces the possibility to build with Dune.

Binary Rational Numbers release for Coq 8.10

Release with Coq 8.10 compatibility, featuring the following changes:

• address the 8.7 change of representation of real constants by extending rationalify_R_goal

Binary Rational Numbers release for Coq 8.9

Release after move to Coq-community, with Coq 8.9 compatibility, featuring the following changes:

• fix deprecations
• update build scripts
• improve documentation