Stream: Coq users

Topic: ./configure -local no longer exists, what to use now?


view this post on Zulip Notification Bot (Jan 25 2022 at 20:57):

This topic was moved by Karl Palmskog to #Coq devs & plugin devs > ./configure -local no longer exists, what to use now?


Last updated: May 24 2024 at 22:02 UTC