framac-19.1.md

---
layout: default
date: 17-09-2019
title: Release of Frama-C 19.1 (Potassium)
image: /assets/img/events/Potassium.jpg
---

Frama-C 19.1 (Potassium) is out. Download it [here](/fc-versions/potassium.html).