diff --git a/TheHoTTGame.agda-lib b/TheHoTTGame.agda-lib
index 0fefef7..8f1b321 100644
--- a/TheHoTTGame.agda-lib
+++ b/TheHoTTGame.agda-lib
@@ -1,4 +1,4 @@
 name: TheHoTTGame
 include: .
-depend: cubical-0.3
+depend: cubical
 flags: --cubical --no-import-sorts