@@ -31,7 +31,7 @@ postProcess deriv@(MkDerivation {..})
3131 | pname == "highlighting-kate"= highlightingKatePostProcessing deriv
3232 | pname == "hmatrix" = deriv { extraLibs = "gsl":"liblapack":"blas":extraLibs }
3333 | pname == "hspec" = deriv { doCheck = False }
34− | pname == "idris" = deriv { buildTools = "happy":buildTools, extraLibs = "gmp":extraLibs }
34+ | pname == "idris" = deriv { buildTools = "happy":buildTools, extraLibs = "gmp":"boehmgc":extraLibs }
3535 | pname == "language-c-quote" = deriv { buildTools = "alex":"happy":buildTools }
3636 | pname == "language-java" = deriv { buildDepends = "syb":buildDepends }
3737 | pname == "leksah-server" = deriv { buildDepends = "process-leksah":buildDepends }