Fedora 36 Update: frama-c-24.0-6.fc36