diff --git a/exe/quox.ipkg b/exe/quox.ipkg
index e20197a..fed30f4 100644
--- a/exe/quox.ipkg
+++ b/exe/quox.ipkg
@@ -1,7 +1,7 @@
 package quox
 version = 0
 
-depends = base, contrib, elab-util, sop, quox-lib
+depends = base, contrib, elab-util, pretty-show, quox-lib
 
 executable = quox
 main = Main