--- layout: fc_discuss_archives title: Message 7 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



The next WP release shall work on both Coq 8.5+ and 8.6+ ; the configure accepts both.
	L.

> Le 1 nov. 2017 à 11:07, Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de> a écrit :
> 
> 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
> 
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss