[PRQ#67541] Orphan Request for nusmv

[notify]

sand7000 [1] filed an orphan request for nusmv [2]:

This is very out of date. I have a PKGBUILD ready for the newest
version.

[1] https://aur.archlinux.org/account/sand7000/
[2] https://aur.archlinux.org/pkgbase/nusmv/