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: Dec 06 2023 at 13:01 UTC