Stream: Coq users

Topic: Can't install Coq due to an undefined reference error


view this post on Zulip Hiroki Tokunaga (Sep 18 2023 at 12:35):

I tried installing Coq 8.17.1 on my desktop on which installing 8.18.0 failed, but it also failed. log
The version seems unrelated, and honestly I can't figure out what's happening here.

view this post on Zulip Michael Soegtrop (Sep 18 2023 at 13:44):

@Hiroki Tokunaga : can you please try the Coq Platform scripts? They do some extra sanity checks of your opam environment. I am not aware that there are conditions under which they fail.

view this post on Zulip Michael Soegtrop (Sep 18 2023 at 13:45):

You can choose the base b of IDE ì` extent to just get Coq or Coq and CoqIDE.

view this post on Zulip Michael Soegtrop (Sep 18 2023 at 13:46):

I btw. also released a snap installer for Coq 8.17.1. a few hours ago.


Last updated: Jun 23 2024 at 04:03 UTC