Commit Diff


commit - 83cd8a8e99d04253314b60aa491176f237250037
commit + e24fa9f6d4fd3018196358ea4be202b60f9c6a88
blob - e3d225df6c2a825814bf23c083bb898efc5b1f91
blob + ff746bfcf2f81ebf883fbf55efe07fa428d9922b
--- tools/Makefile
+++ tools/Makefile
@@ -17,7 +17,7 @@ GMP_VER = 6.3.0
 MPFR_VER = 4.2.1
 MPC_VER = 1.3.1
 OKSH_VER = 7.5
-DESTRUCT_VER = 0.2
+DESTRUCT_VER = 0.3
 RVFORTH_VER = 0.1
 MCU_VER = 1.2
 GFORTH_VER = 0.7.9_20240627