./common/mips.dhall ⫽ ./misc/mips.dhall