--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on November 2017 ---
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