File list of package libgmp-ocaml in sid of architecture ia64
/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/changelog.Debian.ia64.gz /usr/share/doc/libgmp-ocaml/changelog.gz /usr/share/doc/libgmp-ocaml/copyright