1 files changed, 0 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f0e1c44a6f84..b49125389ba2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,7 +9,6 @@ pkgbase = spin
 	depends = glibc
 	optdepends = tcl: ispin graphical interface
 	optdepends = swarm: improved performance on large verification problems
-	optdepends = modex: extract verification models from implementation C code
 	optdepends = ispin: GUI for Spin
 	source = https://github.com/nimble-code/Spin/archive/version-6.5.0.tar.gz
 	sha512sums = 0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24