From 17d00a10f2eeb33ad92120143fbc794f77e62817 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 8 May 2020 01:44:03 +0200
Subject: [PATCH] [wip/jrl-walkgen-v3] Update to v4.2.3
Changes in v4.2.3:
- Fix orientation pb + Dynamical filter initialization
---
jrl-walkgen-v3/Makefile | 2 +-
jrl-walkgen-v3/distinfo | 6 +++---
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/jrl-walkgen-v3/Makefile b/jrl-walkgen-v3/Makefile
index ab0f4b79..3266e602 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.2
+VERSION= 4.2.3
PKGNAME= ${NAME}-v3-${VERSION}
diff --git a/jrl-walkgen-v3/distinfo b/jrl-walkgen-v3/distinfo
index c85dfc9d..55a93bb4 100644
--- a/jrl-walkgen-v3/distinfo
+++ b/jrl-walkgen-v3/distinfo
@@ -1,3 +1,3 @@
-SHA1 (jrl-walkgen-4.2.2.tar.gz) = 938e0ac7cafd5db44f0426d775759d37ee842894
-RMD160 (jrl-walkgen-4.2.2.tar.gz) = 7ec69aab0cf28ecff222fd66a54c153e1ceeedb3
-Size (jrl-walkgen-4.2.2.tar.gz) = 19446329 bytes
+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
--
GitLab