Joshua 10:38

Then Joshua and all Israel with him returned to Debir, and fought against it.

Then he went up from there against the people of Debir; Debir was formerly named Kiriath-sepher.

the king of Debir, one; the king of Geder, one;

and Dannah and Kiriath-sannah (that is, Debir),

and Holon with its pasture lands and Debir with its pasture lands,

From there [the tribe of] Judah went against the inhabitants of Debir (the name of Debir formerly was Kiriath-sepher [city of books and scribes]).

Treasury of Scripture Knowledge

And Joshua returned, and all Israel with him, to Debir; and fought against it:

Then he went up from there against the people of Debir; Debir was formerly named Kiriath-sepher.