From b0dc1f170477b5a9cd1febe7906aa886ea1e3cb0 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Wed, 17 Oct 2018 13:57:30 +0200
Subject: [PATCH] [wip/jrl-walkgen-v3] Update to v4.0.4
Changes since 4.0.3:
- Update to changes in Pinocchio v1.3.0
---
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 7696dcfc..7d5b0731 100644
--- a/jrl-walkgen-v3/Makefile
+++ b/jrl-walkgen-v3/Makefile
@@ -4,7 +4,7 @@
ORG= stack-of-tasks
NAME= jrl-walkgen
-VERSION= 4.0.3
+VERSION= 4.0.4
DISTNAME= ${NAME}-${VERSION}
PKGNAME= ${NAME}-v3-${VERSION}
diff --git a/jrl-walkgen-v3/distinfo b/jrl-walkgen-v3/distinfo
index dcc4a7b7..ce88de40 100644
--- a/jrl-walkgen-v3/distinfo
+++ b/jrl-walkgen-v3/distinfo
@@ -1,3 +1,3 @@
-SHA1 (jrl-walkgen-4.0.3.tar.gz) = af0dceb1abf1c3721dae2612aad377ec5f7588d4
-RMD160 (jrl-walkgen-4.0.3.tar.gz) = df4404bff3eca86036510cbfc6481e4783a1a62c
-Size (jrl-walkgen-4.0.3.tar.gz) = 16011147 bytes
+SHA1 (jrl-walkgen-4.0.4.tar.gz) = 1f9bcd5447dfd43b16955a276dd82d70590f934d
+RMD160 (jrl-walkgen-4.0.4.tar.gz) = c05a3e06bff1a50fc452400ab9aab67019d878d5
+Size (jrl-walkgen-4.0.4.tar.gz) = 16028021 bytes
--
GitLab