diff --git a/jrl-walkgen-v3/Makefile b/jrl-walkgen-v3/Makefile index 3f7807ba20bac47f36eefe93ed57db0c63a47797..9108607529a7cf9609b308714494a0e599a300f6 100644 --- a/jrl-walkgen-v3/Makefile +++ b/jrl-walkgen-v3/Makefile @@ -4,7 +4,7 @@ ORG= stack-of-tasks NAME= jrl-walkgen -VERSION= 4.2.3 +VERSION= 4.2.4 PKGNAME= ${NAME}-v3-${VERSION} diff --git a/jrl-walkgen-v3/distinfo b/jrl-walkgen-v3/distinfo index 55a93bb490bffca1c8c3f5adff85ed1e05d8cd4b..13b18e5c2dbddb2b93be8998bee0b89202e8a8e5 100644 --- a/jrl-walkgen-v3/distinfo +++ b/jrl-walkgen-v3/distinfo @@ -1,3 +1,3 @@ -SHA1 (jrl-walkgen-4.2.3.tar.gz) = 1cfbac23b4c73c95bd9f3fa5b76425b2b472fe55 -RMD160 (jrl-walkgen-4.2.3.tar.gz) = 2425dfe58fbac9c1ec185a0e03872cc3f23cde31 -Size (jrl-walkgen-4.2.3.tar.gz) = 19741750 bytes +SHA1 (jrl-walkgen-4.2.4.tar.gz) = 18cfcd9facd86211afd949e09ce6137fad7de32b +RMD160 (jrl-walkgen-4.2.4.tar.gz) = f57def3a824dc02656ba1499f98a9aa8444fba44 +Size (jrl-walkgen-4.2.4.tar.gz) = 19762472 bytes