Benni's Git/Got Repository (2)

Commit Diff

Commit:: 05fb17a6f7aeb377f4c78e308dd265c620f571b4
From:: Benjamin Stürz <benni@stuerz.xyz>
Date:: Wed Jul 31 10:02:07 2024 UTC
Message:: tools/Makefile: bump destruct to 0.5
Actions:: Patch | Tree

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