framac-19.1.md

---
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.