| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-08-11 | Update to version 202507.0 | Kevin Jilissen |
| 2025-02-14 | Add packaging fix for desktop files | Kevin Jilissen |
| 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 |