/usr/lib/mlton/targets/x86_64-linux-gnu/os is in mlton-runtime-x86-64-linux-gnu 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1
linux