Update commit references

2018-02-23 13:18:47 +01:00 · 2018-02-23 13:18:47 +01:00 · ee2b30d640
parent 151d5c995b
commit ee2b30d640
2 changed files with 2 additions and 2 deletions
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@ -1 +1 @@
-Subproject commit 87d28d7d753f73abd20665d7bbb88f9d72ed88aa
+Subproject commit b9c8e02597751a1b15045cbc5108c221999bd540
--- a/libs/cubical
+++ b/libs/cubical
@ -1 +1 @@
-Subproject commit 9bfbacbb30d4673332566f6e4a58fd04e3904106
+Subproject commit 0d3f02e68297e940227137beac45fc1bce6e2bea