| Version | Release Date | Links | |
|---|---|---|---|
|
|
2.1.2 | 21 Feb 2024 | Documentation |
|
|
2.1.0+coq8.19 | 12 Feb 2024 | Documentation |
|
|
2.0.3+coq8.18 | 04 Dec 2023 | Documentation |
|
|
2.0.2+coq8.18 | 16 Oct 2023 | Documentation |
|
|
2.0.1+coq8.18 | 22 Sep 2023 | Documentation |