[Bug 263860] math/coq: missing ocaml-num runtime dependency
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 08 May 2022 08:58:19 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263860 Bug ID: 263860 Summary: math/coq: missing ocaml-num runtime dependency Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Many People Priority: --- Component: Individual Port(s) Assignee: hrs@FreeBSD.org Reporter: jamertwo@gmail.com Flags: maintainer-feedback?(hrs@FreeBSD.org) Assignee: hrs@FreeBSD.org On latest, Coq cannot function properly without the ocaml-num dynamic library for arbitrary-precision arithmetic (it complains about a missing dllnums.so). However, that is only listed as a build dependency. -- You are receiving this mail because: You are the assignee for the bug.