aramo の armhf アーキテクチャ用 libgmp-ocaml パッケージのファイル一覧
/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