Relation Algebra 1.8.0, for Rocq 9.0

• compatibility with Rocq 9.0
• level for notation "^*" lowered to 1 to agree with mathcomp-ssreflect

Relation Algebra 1.7.11, for Coq 8.20

compatibility with Coq 8.20

Relation Algebra 1.7.10, for Coq 8.18

compatibility with Coq 8.18

Relation Algebra 1.7.9, for Coq 8.17

Compatibility with Coq 8.17

Relation Algebra 1.7.8, for Coq 8.16

• compatibility with Coq 8.16
• minor fixes, including w.r.t. licensing issues

Relation Algebra 1.7.7, for Coq 8.15

• compatibility with Coq 8.15
• model of setoid-preserving heterogeneous relations

Relation Algebra 1.7.6, for Coq 8.14

compatibility with Coq 8.14
support for idempotency when used in combination with coq-aac-tactics

Relation Algebra 1.7.5, for Coq 8.13

compatibility with Coq 8.13

Relation Algebra 1.7.4, for Coq 8.11 & 8.12

compatibility with Coq 8.12
optional dependency on coq-aac-tactics

Relation Algebra 1.7.3, for Coq 8.11

compatibility with Coq 8.11