diff --git a/users/Profpatsch/cabal.project b/users/Profpatsch/cabal.project
index 7f13cd707..26b618696 100644
--- a/users/Profpatsch/cabal.project
+++ b/users/Profpatsch/cabal.project
@@ -10,7 +10,5 @@ packages:
   ./jbovlaste-sqlite/jbovlaste-sqlite.cabal
   ./whatcd-resolver/whatcd-resolver.cabal
   ./openlab-tools/openlab-tools.cabal
-  ./ircmail/ircmail.cabal
   ./httzip/httzip.cabal
-  ./declib/declib.cabal
   ./my-xmonad/my-xmonad.cabal
diff --git a/users/Profpatsch/hie.yaml b/users/Profpatsch/hie.yaml
index 0ce195c4d..1b5ae942a 100644
--- a/users/Profpatsch/hie.yaml
+++ b/users/Profpatsch/hie.yaml
@@ -30,11 +30,7 @@ cradle:
       component: "lib:openlab-tools"
     - path: "./openlab-tools/Main.hs"
       component: "openlab-tools:exe:openlab-tools"
-    - path: "./ircmail/src"
-      component: "lib:ircmail"
     - path: "./httzip/Httzip.hs"
       component: "httzip:exe:httzip"
-    - path: "./declib/Declib.hs"
-      component: "declib:exe:declib"
     - path: "./my-xmonad/Xmonad.hs"
       component: "my-xmonad:exe:xmonad"