19 Dec
2024
19 Dec
'24
5:15 p.m.
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/