Liste des fichiers du paquet libgmp-ocaml dans aramo pour l'architecture ppc64el
/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