From 8f620e0dbe9b96dcd1801c47e0d10b1852e07b78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 21 Feb 2018 13:43:26 +0100
Subject: [PATCH] Update commit references

---
 libs/agda-stdlib | 2 +-
 libs/cubical     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index 157497a..87d28d7 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit 157497a5335ad0069c7aaffbc65932c40a28ee68
+Subproject commit 87d28d7d753f73abd20665d7bbb88f9d72ed88aa
diff --git a/libs/cubical b/libs/cubical
index 12c2c62..9bfbacb 160000
--- a/libs/cubical
+++ b/libs/cubical
@@ -1 +1 @@
-Subproject commit 12c2c628e9e202f1698a4c32e0356d5ca8cb6151
+Subproject commit 9bfbacbb30d4673332566f6e4a58fd04e3904106