Hebrews 4:8

For if Joshua had given them rest, God would not have spoken later about another day.
BSB · Berean Standard Bible
For if Jesus had given them rest, then would he not afterward have spoken of another day.
KJV · King James Version
For if Joshua had given them rest, he would not have spoken afterward of another day.
WEB · World English Bible
For if Joshua had given them rest, he would not have spoken afterward of another day.
ASV · American Standard Version

Related passages

From the Treasury of Scripture Knowledge, grouped by the word they explain.

Jesus, that is, Joshua
Acts 7:45
had
Hebrews 11:13–15; Deuteronomy 12:9; Deuteronomy 25:19; Joshua 1:15; Joshua 22:4; Joshua 23:1; Psalm 78:55; Psalm 105:44