@@ -68,7 +68,6 @@ postProcess' deriv@(MkDerivation {..})
68 | pname == "idris" = deriv { buildTools = Set.insert "happy" buildTools, extraLibs = Set.insert "gmp" (Set.insert "boehmgc" extraLibs) }
68 | pname == "idris" = deriv { buildTools = Set.insert "happy" buildTools, extraLibs = Set.insert "gmp" (Set.insert "boehmgc" extraLibs) }
69 | pname == "language-c-quote" = deriv { buildTools = Set.insert "alex" (Set.insert "happy" buildTools) }
69 | pname == "language-c-quote" = deriv { buildTools = Set.insert "alex" (Set.insert "happy" buildTools) }
70 | pname == "language-java" = deriv { buildDepends = Set.insert "syb" buildDepends }
70 | pname == "language-java" = deriv { buildDepends = Set.insert "syb" buildDepends }
71− | pname == "leksah-server" = deriv { buildDepends = Set.insert "process-leksah" buildDepends }
72 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
71 | pname == "lhs2tex" = deriv { extraLibs = Set.insert "texLive" extraLibs, phaseOverrides = lhs2texPostInstall }
73 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
72 | pname == "libffi" = deriv { extraLibs = Set.delete "ffi" extraLibs }
74 | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools, configureFlags = Set.insert "-fbuild-external" configureFlags }
73 | pname == "liquid-fixpoint" = deriv { buildTools = Set.insert "ocaml" buildTools, configureFlags = Set.insert "-fbuild-external" configureFlags }