Package: libgmp-ocaml-dev
Runtime: libgmp-ocaml
Version: 20021123-23build4

File: debian/libgmp-ocaml-dev/usr/lib/aarch64-linux-gnu/ocaml/5.4.0/gmp/gmp.cma
Force custom: no
Extra C object files: -lgmpstub -lgmp
Extra C options:
