Ali Caglayan (May 09 2022 at 17:26): Ali Caglayan (May 09 2022 at 17:26):Running make ci-coqprime on a completely different opam switch, but findlib seems to find coq in another switch. What can I do about this?
findlib: [WARNING] Package coq-core has multiple definitions in /home/ali/coq/_build/install/default/lib/coq-core/META, /mnt/sdd1/.opam/coq.dev/lib/coq-core/META
Last updated: Feb 05 2023 at 20:03 UTC