| Version | Release Date | Links | |
|---|---|---|---|
|
|
2.2.0 | 13 Sep 2024 | Documentation |
|
|
2.1.7 | 07 Aug 2024 | Documentation |
|
|
2.1.4 | 09 Jul 2024 | Documentation |
|
|
2.1.3 | 24 Jun 2024 | Documentation |
|
|
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 |