math/coq: add missing run-time dependency on `math/ocaml-num'
This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.
PR: 263860
Description
Description
Details
Details
- Provenance
danfe Authored on May 9 2022, 11:05 AM - Parents
- R11:d82f8cc4f0c6: www/rubygem-fcgi: fix runtime error with ruby 3.0: Undefined symbol "rb_secure"
- Branches
- Unknown
- Tags