Stream: Coq devs & plugin devs

Topic: Building Gappa Plugin

view this post on Zulip Michael Soegtrop (Jun 09 2020 at 20:28):

I am trying to build the gappa plugin for the 8.12 beta (I got the gappa C++ tool built). When compiling the plugin I get:

Unbound module Vernacstate.Proof_global

Is there some easy fix or is this more a game over for today thing?

Last updated: Jun 09 2023 at 07:01 UTC