diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild
index 7fe835012d..95b6a56553 100644
--- a/dev-lang/lean/lean-3.33.0.ebuild
+++ b/dev-lang/lean/lean-3.33.0.ebuild
@@ -21,10 +21,9 @@ else
 fi
 S="${WORKDIR}/lean-${PV}/src"
 
-RESTRICT="!test? ( test )"
 LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
-IUSE="+json test +threads"
+IUSE="+json +threads"
 
 RDEPEND="dev-libs/gmp"
 DEPEND="${RDEPEND}"
diff --git a/dev-lang/lean/lean-3.34.0.ebuild b/dev-lang/lean/lean-3.34.0.ebuild
index 7fe835012d..95b6a56553 100644
--- a/dev-lang/lean/lean-3.34.0.ebuild
+++ b/dev-lang/lean/lean-3.34.0.ebuild
@@ -21,10 +21,9 @@ else
 fi
 S="${WORKDIR}/lean-${PV}/src"
 
-RESTRICT="!test? ( test )"
 LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
-IUSE="+json test +threads"
+IUSE="+json +threads"
 
 RDEPEND="dev-libs/gmp"
 DEPEND="${RDEPEND}"