…
..
do-patch-base_runtime_include_ml-unixdep.h
do-patch-base_runtime_mach-dep_signal-sysdep.h
do-patch-base_runtime_objs_makefile
do-patch-base_runtime_objs_mk.x86-freebsd
do-patch-base_system_smlnj_installer_generic-install.sml
patch-config___arch-n-opsys
patch-config___heap2exec
patch-config_install.sh
pkg-install.in