--- layout: default date: 17-09-2019 title: Release of Frama-C 19.1 (Potassium) --- Frama-C 19.1 (Potassium) is out. Download it [here](/fc-versions/potassium.html). This release merely restores compatibility with OCaml 4.08.1 (and the new 4.09.0), and fixes a few issues with lablgtk3.