update the shipped tools

This commit is contained in:
narimiran
2026-02-21 10:34:58 +01:00
parent 15c6249f2c
commit 303cd2982a

View File

@@ -11,10 +11,10 @@
const
# examples of possible values for repos: Head, ea82b54
NimbleStableCommit = "9207e8b2bbdf66b5a4d1020214cff44d2d30df92" # 0.20.1
AtlasStableCommit = "2aa62121b40d580aa2fb27920a37b938d36c5f57" # 0.9.4
NimbleStableCommit = "6ab6b801590de9486bbd60032470bcfc9206f6d9" # 0.22.1
AtlasStableCommit = "092e42cfa3f29cb3258298f238f7a03df205daef" # 0.10.0
ChecksumsStableCommit = "0b8e46379c5bc1bf73d8b3011908389c60fb9b98" # 2.0.1
SatStableCommit = "faf1617f44d7632ee9601ebc13887644925dcc01"
SatStableCommit = "e63eaea8baf00bed8bcd5a29ffd8823abb265b39"
NimonyStableCommit = "deb9b50c573fb55e071825ab55385e293b7216d5" # unversioned \
# Note that Nimony uses Nim as a git submodule but we don't want to install