| Age | Commit message | Author |
|---|---|---|
| 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 |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/mcrl2.git/ | ||