Changelog for libcvc3_5-2.4.1-0-mdv2012.0.i586.rpm :

* Tue Nov 01 2011 Pavel Shved 2.4.1-0mdv2012.0+ Revision: 709267- Add missing bison and flex build requires- Add missing summaries- Initial import of CVC3 prover 2.4.1