Changelog for nusmv-debuginfo-2.5.2-2.el5.an.x86_64.rpm :
Thu Mar 5 05:00:00 2009 Aleksey Nogin - 2.4.3-2
- Fixing a bug in parserUtil\'s Parser_ReadFromString

Sat Jan 31 05:00:00 2009 Aleksey Nogin - 2.4.3-1
- Initial spec file