| Age | Commit message | Author |
|---|---|---|
| 2022-06-08 | Fix format-security error, thanks to davidf | Alex Szczuczko |
| 2022-05-24 | Add flex and bison to makedepends | Alex Szczuczko |
| 2019-05-15 | Add doxygen to makedepends | Alex Szczuczko |
| 2019-05-15 | Force html documentation to be generated | Alex Szczuczko |
| 2019-05-15 | Fix build issues (Credit to Lekensteyn) | Alex Szczuczko |
| 2016-03-02 | Remove static libs | Alex Szczuczko |
| 2015-11-23 | Update to version 2.6.0 | Alex Szczuczko |
| 2015-11-06 | Added texlive-latexextra to makedepends | Alex Szczuczko |
| 2015-06-09 | Initial import | Alex Szczuczko |
| Clone | ||
| https://aur.archlinux.org/nusmv.git/ | ||