cradle:
  bios:
    program: ".hie-dispatch.sh"
    dependency-program: script/ghci-flags-dependencies