Package: libnum-ocaml-dev
Runtime: libnum-ocaml
Version: 1.6-1

File: debian/libnum-ocaml-dev/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/num/top/num_top.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libnum-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/num/num.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libnum-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.3.0/num/core/num_core.cma
Force custom: no
Extra C object files: -lnum_core_stubs
Extra C options:
