diff --git a/tools/build_board_info.py b/tools/build_board_info.py
index 94f6e50af1644..66ca48a02df80 100644
--- a/tools/build_board_info.py
+++ b/tools/build_board_info.py
@@ -266,7 +266,7 @@ def generate_download_info():
     # Delete the release we are replacing
     for board in current_info:
         info = current_info[board]
-        for version in info["versions"]:
+        for version in list(info["versions"]):
             previous_releases.add(version["version"])
             previous_languages.update(version["languages"])
             if version["stable"] == new_stable or (