diff --git a/README.md b/README.md
index 8088a60..2869967 100644
--- a/README.md
+++ b/README.md
@@ -15,11 +15,22 @@ Dependencies
 To succesfully compile the following is needed:
 
 * The Agda release candidate 2.5.4[^1]
-* The experimental branch of [Agda Standard Library](https://github.com/agda/agda-stdlib)
+* [Agda Standard Library](https://github.com/agda/agda-stdlib)
 * [Cubical](https://github.com/Saizan/cubical-demo/)
 
 [^1]: At least version >= [`707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43`](https://github.com/agda/agda/commit/707ce6042b6a3bdb26521f3fe8dfe5d8a8470a43)
 
+The version of the libraries that this depends on can be shown by
+executing the following command in the root directory of the project:
+
+    git submodule foreach git rev-parse HEAD
+
+Unfortunately Agda's module system does not allow us to automatically
+add these dependencies. So you'll have to make sure you're using
+versions of these libraries that are compatible with this
+project. Since this information is only provided as documentation it
+may also noot be up-to-date so beware.
+
 It's important to have the right version of these - but which one is the right
 is in constant flux. It's most likely the newest one.
 
diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index 4493cf2..55ad461 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit 4493cf249a1648be2ad365fe94ece337bfbcb5d9
+Subproject commit 55ad461aa4fc6cf22e97812b7ff8128b3c7a902c
diff --git a/libs/cubical b/libs/cubical
index 4e5d43a..dfa196a 160000
--- a/libs/cubical
+++ b/libs/cubical
@@ -1 +1 @@
-Subproject commit 4e5d43a9c75286b3a8750567d75a930674d7720d
+Subproject commit dfa196a4da79b41c9ee30f825b86a5eb6181e632