| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-08-25 | Update to version 202407.1 | Kevin Jilissen |
| 2024-08-19 | Change Qt5 dependency to Qt6 | Kevin Jilissen |
| 2024-08-19 | Update to version 202407.0 | Kevin Jilissen |
| 2023-11-15 | Initial mCRL2-bin based on GitHub actions build | Kevin Jilissen |