Stream: Coq devs & plugin devs

Topic: dependency on num


view this post on Zulip 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?

view this post on Zulip Enrico Tassi (Feb 02 2021 at 06:50):

It depends on zarith

view this post on Zulip Jason Gross (Feb 02 2021 at 16:05):

For OCaml < 4.06, configure still errors if the num package is not installed, though

view this post on Zulip 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: Oct 21 2021 at 21:03 UTC