[aur-general] Orphan request: nusmv

[Alex Szczuczko]

https://aur.archlinux.org/packages/nusmv/

Flagged out of date for multiple years.

-Alex Szczuczko