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