coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

build: we only support 64 bit arch #893

Closed rtetley closed 1 month ago

rtetley commented 1 month ago

Currently 32 bit architectures fail because of our representation of max memory in the server (see https://github.com/ocaml/opam-repository/pull/26506). We will not support it from now on.