Regexp Brzozowski 1.2

Release known to work with Coq 8.16 to 8.18, MathComp 2.0.0, and RegLang 1.2.0. The main change is the port to MathComp 2.0, which is not backwards compatible.

Regexp Brzozowski 1.1

Release known to work with Coq 8.11 to 8.18, MathComp 1.13 to 1.17, and RegLang 1.1.3. This is the last release before the project switches to MathComp 2.0.

Regexp Brzozowski 1.0

Release known to work with Coq 8.10 to 8.15, MathComp 1.12 to 1.14, and RegLang 1.1.3.