More debian archs. ---------------------------------------------------------------------- A mlton/trunk/lib/mlnlffi/memory/platform/memory.hppa-linux.mlb ---------------------------------------------------------------------- Copied: mlton/trunk/lib/mlnlffi/memory/platform/memory.hppa-linux.mlb (from rev 4031, mlton/trunk/lib/mlnlffi/memory/platform/memory.x86-linux.mlb)