This topic was moved by Karl Palmskog to #Coq devs & plugin devs > ./configure -local no longer exists, what to use now?
Last updated: Sep 23 2023 at 07:01 UTC