SPASS_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
SPASS_VERSION="3.8ds"
