/usr/lib/mlton/sml/mlrisc-lib/demo/ is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/mlton/sml/mlrisc-lib/demo/README
/usr/lib/mlton/sml/mlrisc-lib/demo/build-110.0.6.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/build-110.25.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/build-110.29.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/demo-alpha.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/demo-amd64.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/demo-backend.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/demo-sparc.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/demo-types.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/eg-alpha.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/eg-amd64.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/eg-sparc.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/group.cm
/usr/lib/mlton/sml/mlrisc-lib/demo/sources-amd64.cm
/usr/lib/mlton/sml/mlrisc-lib/demo/sources.cm
/usr/lib/mlton/sml/mlrisc-lib/demo/spill-table.sml
/usr/lib/mlton/sml/mlrisc-lib/demo/wrapper.cm