Deuteronomy 2:33

33 ^aBut Yahweh our God gave him ¹over to us, and we ^bstruck him down with his sons and all his people.

Deuteronomy 2:34

34 So we captured all his cities at that time and ¹^adevoted to destruction ²the men, women, and little ones of every city. We left no survivor remaining.