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: Mar 28 2024 at 22:01 UTC