/usr/lib/mlton/sml/mlrisc-lib/mips/ is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/mlton/sml/mlrisc-lib/mips/backpatch/
/usr/lib/mlton/sml/mlrisc-lib/mips/backpatch/mipsDelaySlotProps.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/backpatch/mipsDelaySlots.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/backpatch/mipsJumps.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/emit/
/usr/lib/mlton/sml/mlrisc-lib/mips/emit/mipsAsm.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/emit/mipsDasm.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/emit/mipsMC.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsCells.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsFreqProps.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsInstr.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsProps.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsShuffle.sig
/usr/lib/mlton/sml/mlrisc-lib/mips/instructions/mipsShuffle.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/mips.mdl
/usr/lib/mlton/sml/mlrisc-lib/mips/mltree/
/usr/lib/mlton/sml/mlrisc-lib/mips/mltree/mips.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/mltree/mipsPseudoInstr.sig
/usr/lib/mlton/sml/mlrisc-lib/mips/mltree/mipsRTL.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/mltree/mipsRTLProps.sml
/usr/lib/mlton/sml/mlrisc-lib/mips/ra/
/usr/lib/mlton/sml/mlrisc-lib/mips/ra/mipsRewrite.sml