Branches
| Name | Last commit date | Author |
| master | 2025-11-13 19:44 | Martin Schanzenbach |
Tags
| Name | Last commit date | Author |
| v0.26.0 | 2025-11-13 19:44 | Martin Schanzenbach |
| v0.24.0 | 2025-03-14 13:51 | Martin Schanzenbach |
| v0.23.0 | 2024-12-09 16:31 | Martin Schanzenbach |
| v0.22.0 | 2024-08-29 09:50 | Martin Schanzenbach |
| v0.21.0 | 2024-03-06 15:41 | Martin Schanzenbach |
| v0.20.0 | 2023-09-24 08:58 | Martin Schanzenbach |
| v0.19.1 | 2022-12-29 23:51 | Christian Grothoff |
| v0.15.0 | 2021-08-08 16:18 | Martin Schanzenbach |
| v0.14.0 | 2020-11-14 01:26 | Martin Schanzenbach |
| v0.13.0 | 2020-07-07 16:56 | Martin Schanzenbach |
| v0.11.8 | 2019-11-22 16:51 | ng0 |
| v0.11.0 | 2019-02-17 19:53 | Christian Grothoff |
| v0.11.0pre66 | 2018-06-05 21:10 | Christian Grothoff |