commit 05fb17a6f7aeb377f4c78e308dd265c620f571b4
from: Benjamin Stürz <benni@stuerz.xyz>
date: Wed Jul 31 10:02:07 2024 UTC

tools/Makefile: bump destruct to 0.5

commit - 63585acc837d33affdc1436b5ee9ed3f7fd30997
commit + 05fb17a6f7aeb377f4c78e308dd265c620f571b4
blob - db1c9ee9045538be926e928d87b9f0393147fe57
blob + b1ce049535712b5d494be146cd2200643f479dcd
--- 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.4
+DESTRUCT_VER = 0.5
 RVFORTH_VER = 0.1
 MCU_VER = 1.2
 GFORTH_VER = 0.7.9_20240627