---
layout: fc_discuss_archives
title: Message 2 from Frama-C-discuss on November 2017
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Frama-C 16 (Sulfur) - beta
- Subject: [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Wed, 1 Nov 2017 10:07:43 +0000
Hello,
With Frama-C 15 the recommended Coq version for WP is 8.5.3.
Does this also hold for Frama-C 16?
Regards
Jens