# This has to be sourced, not run:
# `. lab_env.sh`

export GHC_PACKAGE_PATH="/net5/sg.fs.inf.ethz.ch/export/sg/nfs3/netos/teaching/aos/ghc/package.conf.d:"