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: Oct 16 2021 at 03:02 UTC