Update Coq

[Ailrun]

Coq 8.17.1 (or Coq-Equations supporting that version) has a compatibility issue with Coq-Menhirlib. When one tries to import two modules using each of Coq-Equations and Coq-Menhirlib, Coq initially gives an "Anomaly: bad vernac extend:" error. A funny thing is, it works after that, so for example

From Mcltt.Extraction Require Import TypeCheck.
Fail From Mcltt.Frontend Require Import Parser.
From Mcltt.Frontend Require Import Parser.

works. However, this seems very hacky and I have no idea how stable this would be, so it might be better to update Coq.

[Ailrun]

Or maybe it might be better to wait for a few days and jump directly to Coq 8.20

[HuStmpHrrr]

Or maybe it might be better to wait for a few days and jump directly to Coq 8.20

Ok then.