Changelog for frama-c-devel-20170501-3.99.x86_64.rpm :
Wed Oct 4 14:00:00 2017 jslabyAATTsuse.com
- update to Phosphorus -- 20170501

Tue Oct 11 14:00:00 2016 jslabyAATTsuse.com
- update to Aluminium -- 20160501

Wed Mar 9 13:00:00 2016 jslabyAATTsuse.com
- update to Magnesium -- 20151002

Mon Oct 12 14:00:00 2015 dsterbaAATTsuse.cz
- update to Sodium -- 20150201

Wed Nov 12 13:00:00 2014 jslabyAATTsuse.com
- update to Neon -- 20140301

Sat Oct 22 14:00:00 2011 jslabyAATTsuse.de
- update to 20111001 -- Nitrogen

Mon May 2 14:00:00 2011 jslabyAATTsuse.de
- initial package