Joshua 10:38-39

10:38 Joshua and all Israel turned to Debir and fought against it. 10:39 They captured it, its king, and all its surrounding cities and put the sword to them. They annihilated everyone who lived there; they left no survivors. They did to Debir and its king what they had done to Libnah and its king and to Hebron.

Joshua 15:15

15:15 From there he attacked the people of Debir. (Debir used to be called Kiriath Sepher.)