Gaëtan Gilbert (Mar 29 2022 at 17:04): Gaëtan Gilbert (Mar 29 2022 at 17:04):anyone remember why this line is needed? https://github.com/coq/coq/blob/f58bff40bf01106d0ac450e977541210ec4a3913/dev/ci/docker/bionic_coq/Dockerfile#L61
Emilio Jesús Gallego Arias (Mar 29 2022 at 17:05):Gaëtan Gilbert said:
anyone remember why this line is needed? https://github.com/coq/coq/blob/f58bff40bf01106d0ac450e977541210ec4a3913/dev/ci/docker/bionic_coq/Dockerfile#L61
I do
Emilio Jesús Gallego Arias (Mar 29 2022 at 17:05):was to fix broken zarith build
Emilio Jesús Gallego Arias (Mar 29 2022 at 17:06):not sure if that's needed anymore, used to be an issue in the bug tracker
Gaëtan Gilbert (Mar 29 2022 at 17:07):probably not needed, the 2nd opam install fixes a different ocamlfind version from the one auto picked so it rebuilds zarith
Last updated: Oct 13 2024 at 01:02 UTC