| Version | Release Date | Links | |
|---|---|---|---|
|
|
2.2.4 | 24 Jul 2026 | Documentation |
|
|
2.2.2 | 13 Nov 2025 | Documentation |
|
|
2.2.1 | 29 Apr 2025 | Documentation |
|
|
2.2.0 | 25 Apr 2025 | Documentation |
|
|
2.1.0 | 17 Jan 2024 | Documentation |
|
|
2.0.0 | 23 May 2023 | Documentation |
|
|
1.5.2 | 06 Jul 2022 | Documentation |
|
|
1.5.1 | 03 Dec 2020 | Documentation |
|
|
1.5.0 | 10 Jun 2020 | Documentation |
|
|
1.4.1 | 06 Apr 2020 | Documentation |
|
|
1.4.0+coq-8.11 | 26 May 2020 | Documentation |
|
|
1.4.0 | 28 Nov 2019 | Documentation |
|
|
1.3.4 | 24 Jun 2019 | Documentation |
|
|
1.3.3 | 18 Jun 2019 | Documentation |
|
|
1.3.1 | 14 Jun 2019 | Documentation |
|
|
1.2.1 | 23 May 2019 | Documentation |
|
|
1.2.0 | 09 Apr 2019 | Documentation |
|
|
1.1.0 | 11 Aug 2018 | Documentation |
|
|
1.0.0 | 08 Aug 2018 | Documentation |