Changelog for cbmc-6174-2.7.x86_64.rpm :
Wed Mar 9 13:00:00 2016 jslabyAATTsuse.com
- update to 6174

Thu Sep 3 14:00:00 2015 jslabyAATTsuse.com
- update to 5383

Thu Mar 19 13:00:00 2015 jslabyAATTsuse.com
- initial package