| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-08-25 | Update to version 202407.1 | Kevin Jilissen | |
| 2024-08-19 | Update .SRCINFO | Kevin Jilissen | |
| 2024-08-19 | Update to version 202407.0 | Kevin Jilissen | |
| 2023-11-15 | Include provides and conflicts information | Kevin Jilissen | |
| 2023-11-15 | Update to release 202307.1 with changed license | Kevin Jilissen | |
| 2022-07-05 | Update to version 202206.1 | Jorai Rijsdijk | |
| 2022-07-02 | Update to version 202206.0 | Jorai Rijsdijk | |
| 2021-09-12 | Update to version 202106.0 | Jorai Rijsdijk | |
| 2020-09-01 | Update dependencies | Jorai Rijsdijk | |
| 2020-09-01 | Update to version 202006.0 | Jorai Rijsdijk | |
| 2019-09-13 | Update to version 201908.0 | Jorai Rijsdijk | |
| 2018-09-09 | Update to 201808.0 release | Jorai Rijsdijk | |
| 2017-09-29 | Update SRCINFO | Jorai Rijsdijk | |
| 2017-09-29 | Update to version 201707.1 | Jorai Rijsdijk | |
| 2016-09-26 | Add gcc5 build dependency | Vito Kortbeek | |
| - mCRL2 does not build with GCC 6, so we need to build it using GCC 5 see https://bugs.debian.org/811860 - Fixed a small url issue in the PKGBUILD | |||
| 2015-10-06 | Add new SRCINFO | Nikolaos Bezirgiannis | |
| 2015-10-06 | Fix for manpages | Nikolaos Bezirgiannis | |
| 2015-07-06 | Initial import | Nikolaos Bezirgiannis | |