Hello, 2013/6/26 Logan Rosen <logan@ubuntu.com>: > Please upgrade frama-c's packaging to the latest upstream version. Zack, for once, I'm not the only one. ;-) Best regards, david