File list of package libgmp-ocaml in aramo of architecture armhf
/usr/lib/ocaml/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