diff --git a/tests/quox-tests.ipkg b/tests/quox-tests.ipkg
index 4cac8ed..62766f0 100644
--- a/tests/quox-tests.ipkg
+++ b/tests/quox-tests.ipkg
@@ -1,6 +1,6 @@
 package quox-tests
 
-depends = base, contrib, elab-util, sop, snocvect, quox-lib, tap
+depends = base, contrib, elab-util, snocvect, quox-lib, tap
 
 executable = quox-tests
 main = Tests