Fix windows CI by packport pr19247

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

189 stars 48 forks source link

Closed MSoegtropIMC closed 2 months ago

MSoegtropIMC commented 3 months ago

back port https://github.com/coq/coq/pull/19247 to coq-core/coqide 8.17.1/1.18.0/8.19.2 via local opam patches
update 8.19 pick to coq 8.19.2
removed opam packages available upstream

Note: the patches are all slightly different and created by cherry-picking the PR commit 54de3aff81123fc658f8d93406fa4ed98d692e2c into the various tags