update tools (#3081)

This commit is contained in:
TakaRikka 2026-02-02 23:33:59 -08:00 committed by GitHub
parent 3bc0670b91
commit 2de91793ae
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions

View File

@ -209,10 +209,10 @@ if not config.non_matching:
# Tool versions
config.binutils_tag = "2.42-1"
config.compilers_tag = "20251118"
config.dtk_tag = "v1.7.1"
config.objdiff_tag = "v3.5.0"
config.dtk_tag = "v1.8.0"
config.objdiff_tag = "v3.6.1"
config.sjiswrap_tag = "v1.2.2"
config.wibo_tag = "1.0.0-beta.5"
config.wibo_tag = "1.0.0"
# Project
config.config_path = Path("config") / config.version / "config.yml"