frama-c 20191204+calcium-0.1 is marked for autoremoval from testing on 2020-06-01 It is affected by these RC bugs: 959599: frama-c: FTBFS: Error: Unbound value const_of_big_int