X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fghc.cabal.in;h=0a567191fe9a985fce6116796b14b76f324ff63d;hp=32d13f839b68dc6afaaf6c292170114635718c98;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hpb=889c084e943779e76d19f2ef5e970ff655f511eb

diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index 32d13f8..0a56719 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -269,6 +269,7 @@ Library
         CoreTidy
         CoreUnfold
         CoreUtils
+        CoqPass
         ExternalCore
         MkCore
         MkExternalCore
@@ -350,6 +351,7 @@ Library
         TysPrim
         TysWiredIn
         CostCentre
+        ProfInit
         SCCfinal
         RnBinds
         RnEnv