--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on November 2019 ---
Hello, thanks for releasing this beta. You write that the native interfaces to alt-ergo and coq have been _deprecated_. We have already switched to 'why3:alt-ergo' but for the time being we would like to use our Coq scripts in "wp0.script". The corresponding '-wp-script' option, however, is now marked as 'unknown'. Is there a way to still use the native coq interface ? Regards Jens