diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index 2033814..de23244 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit 2033814d1f118401a37484390fdb5b75b83e6bb4
+Subproject commit de23244a73d6dab55715fd5a107a5de805c55764
diff --git a/libs/cubical b/libs/cubical
index 19990b0..a83f5f4 160000
--- a/libs/cubical
+++ b/libs/cubical
@@ -1 +1 @@
-Subproject commit 19990b03b95f76210362a6e55b94181a5481f158
+Subproject commit a83f5f4c63e5dfd8143ac03163868c63a56802de