Is Coq 8.13 supposed to depend on the num library? I thought that dependency was removed?
It depends on zarith
For OCaml < 4.06, configure still errors if the num package is not installed, though
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: Oct 21 2021 at 21:03 UTC