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