diff --git a/libraries b/libraries
new file mode 100644
index 0000000..56ecc39
--- /dev/null
+++ b/libraries
@@ -0,0 +1,2 @@
+libs/agda-stdlib/standard-library.agda-lib
+libs/cubical/cubical.agda-lib