diff --git a/cat.agda-lib b/cat.agda-lib
index b0d67b6..fa6c713 100644
--- a/cat.agda-lib
+++ b/cat.agda-lib
@@ -7,3 +7,6 @@ depend:
   cubical
 include:
   src
+-- libraries:
+--   libs/agda-stdlib
+--   libs/cubical