diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index b9c8e02..87d28d7 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit b9c8e02597751a1b15045cbc5108c221999bd540
+Subproject commit 87d28d7d753f73abd20665d7bbb88f9d72ed88aa
diff --git a/libs/cubical b/libs/cubical
index 0d3f02e..159c519 160000
--- a/libs/cubical
+++ b/libs/cubical
@@ -1 +1 @@
-Subproject commit 0d3f02e68297e940227137beac45fc1bce6e2bea
+Subproject commit 159c519936afcfb72afe5c1528637dd0f0a7303a