Hello, I am trying to set up Agda, and I have reduced it to a simpler problem: $ cat test.hs import Numeric.IEEE main = return () $ genv --pure --ad-hoc ghc@8.6 ghc-ieee754 gcc-toolchain % ghc test.hs Linking test ... ld: cannot find -lHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) How can I fix this error? Am I doing something wrong, or is this a packaging bug? Regards, Jakub Kądziołka