[wip/jrl-walkgen-v3] Update to v4.2.5

Changes in v4.2.6:
- fix CI

jrl-walkgen-v3/Makefile

@@ -4,7 +4,7 @@
 
 ORG=			stack-of-tasks
 NAME=			jrl-walkgen
-VERSION=		4.2.5
+VERSION=		4.2.6
 
 PKGNAME=		${NAME}-v3-${VERSION}
 

jrl-walkgen-v3/distinfo

-SHA1 (jrl-walkgen-4.2.5.tar.gz) = bda2db9f5435cd870c4d07ed588fa49216d4b39c
-RMD160 (jrl-walkgen-4.2.5.tar.gz) = 57f71ab89b4786da5f10b907c2783aac7f915df9
-Size (jrl-walkgen-4.2.5.tar.gz) = 19772840 bytes
+SHA1 (jrl-walkgen-4.2.6.tar.gz) = cd7006cd9200d122540d35dbbbc05c2f095b379f
+RMD160 (jrl-walkgen-4.2.6.tar.gz) = 8354e82af3602be4e7f47dcd4edc3f812f6a0e82
+Size (jrl-walkgen-4.2.6.tar.gz) = 19750300 bytes