Stream: Coq devs & plugin devs

Topic: Release candidate version naming breaks PG


view this post on Zulip Karl Palmskog (Sep 18 2021 at 18:04):

Heads up that everyone using PG with Coq 8.14+rc1 from core-dev will get the following error:

File mode specification error: (coq-unclassifiable-version . 8.14+rc1
compiled)

See: https://github.com/ProofGeneral/PG/issues/600

view this post on Zulip Erik Martin-Dorel (Sep 18 2021 at 22:40):

Thanks @Karl Palmskog for the heads-up; I've just merged a fix.
But it will only be available after next whole MELPA build (in less than 12 hours anyway).
At that time, you'll be able to upgrade the package, as recalled in Section Keeping Proof General up-to-date on PG website.

view this post on Zulip Karl Palmskog (Sep 19 2021 at 10:35):

thanks Erik, can confirm the latest MELPA works with 8.14+rc1 now


Last updated: Mar 28 2024 at 08:01 UTC