Jason Gross (Feb 01 2021 at 23:18): Jason Gross (Feb 01 2021 at 23:18):Is Coq 8.13 supposed to depend on the num library? I thought that dependency was removed?
Enrico Tassi (Feb 02 2021 at 06:50):It depends on zarith
Jason Gross (Feb 02 2021 at 16:05):For OCaml < 4.06, configure still errors if the num package is not installed, though
Théo Zimmermann (Feb 02 2021 at 18:19):It's probably a bug in configure then. Note that for OCaml < 4.06, the num package is just a shim, since the actual num library is shipped with the compiler.
Last updated: Feb 01 2023 at 16:03 UTC