File list of package libgmp-ocaml in questing of architecture armhf

/usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/stublibs/dllgmpstub.so
/usr/share/doc/libgmp-ocaml/README
/usr/share/doc/libgmp-ocaml/README.Debian
/usr/share/doc/libgmp-ocaml/changelog.Debian.gz
/usr/share/doc/libgmp-ocaml/copyright