| Version | Release Date | Links | |
|---|---|---|---|
|
|
4.2.1 | 21 Dec 2023 | Documentation |
|
|
4.2.0 | 21 Dec 2023 | Documentation |
|
|
4.1.1 | 15 Dec 2022 | Documentation |
|
|
4.1.0+bugfix2 | 31 May 2022 | Documentation |
|
|
4.1.0+bugfix1 | 03 May 2022 | Documentation |
|
|
4.1.0 | 12 Jul 2020 | Documentation |
|
|
4.0.2+dune | 08 Nov 2019 | Documentation |
|
|
4.0.2 | 04 Feb 2019 | Documentation |
|
|
4.0.1 | 04 Feb 2019 | Documentation |
|
|
4.0.0 | 06 Nov 2018 | Documentation |
|
|
3.1.6 | 16 Nov 2017 | Documentation |