The coq-stdlib package only contains Coq theory files for the standard library and no OCaml libraries.