# -*- shell-script -*- :mode=shellscript:

ISABELLE_OPAM="$COMPONENT/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}/opam"
