File list of package mlton-runtime-arm-linux-gnueabihf in stretch of architecture armhf

/usr/lib/mlton/targets/arm-linux-gnueabihf/arch
/usr/lib/mlton/targets/arm-linux-gnueabihf/constants
/usr/lib/mlton/targets/arm-linux-gnueabihf/include/c-types.h
/usr/lib/mlton/targets/arm-linux-gnueabihf/libgdtoa-gdb.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/libgdtoa-pic.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/libgdtoa.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/libmlton-gdb.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/libmlton-pic.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/libmlton.a
/usr/lib/mlton/targets/arm-linux-gnueabihf/os
/usr/lib/mlton/targets/arm-linux-gnueabihf/sizes
/usr/lib/mlton/targets/arm-linux-gnueabihf/sml/c-types.sml
/usr/share/doc/mlton-runtime-arm-linux-gnueabihf/README
/usr/share/doc/mlton-runtime-arm-linux-gnueabihf/changelog.Debian.gz
/usr/share/doc/mlton-runtime-arm-linux-gnueabihf/changelog.gz
/usr/share/doc/mlton-runtime-arm-linux-gnueabihf/copyright