- Tue Nov 1 2011 Pavel Shved <pavel.shved@rosalab.ru> 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
+ Revision: 709267
- Add missing bison and flex build requires
- Add missing summaries
- Initial import of CVC3 prover 2.4.1