Alexey Dokuchaev 1da2c6c114 math/coq: add missing run-time dependency on `math/ocaml-num' ...

This was missed in commit 317aa0442c when Num library was split
off the core OCaml distribution.

PR:	263860

2022-05-09 11:05:54 +00:00

..

files

math/coq: force unsafe strings to unbreak against modern OCaml.

2022-04-10 18:27:14 +00:00

distinfo

…

Makefile

math/coq: add missing run-time dependency on `math/ocaml-num'

2022-05-09 11:05:54 +00:00

pkg-descr

…

pkg-plist

…