2 Dec
2013
2 Dec
'13
7:52 p.m.
On Monday 02 December 2013 14:37:41 Alex Szczuczko wrote:
https://aur.archlinux.org/packages/nusmv/
Flagged out of date for multiple years.
Done, tnx. -- С уважением, Е.Алексеев. Sincerely yours, E.Alekseev. e-mail: darkarcanis@mail.ru ICQ: 407-398-235 Jabber: arcanis@jabber.ru