From d0cc4239c2d205d7dc5960d20f04b7a8ea0a0048 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <jcarpent@laas.fr>
Date: Fri, 9 Jun 2017 08:30:16 +0200
Subject: [PATCH] [wip/pinocchio] Bump to version 1.2.4
---
pinocchio/Makefile | 2 +-
pinocchio/distinfo | 6 +++---
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/pinocchio/Makefile b/pinocchio/Makefile
index f80844ff..ca8b59e5 100644
--- a/pinocchio/Makefile
+++ b/pinocchio/Makefile
@@ -2,7 +2,7 @@
# Created: Olivier Stasse on Thu, 4 Feb 2016
#
-VERSION= 1.2.3
+VERSION= 1.2.4
DISTNAME= pinocchio-${VERSION}
MASTER_SITES= ${MASTER_SITE_OPENROBOTS:=${PKGBASE}/}
diff --git a/pinocchio/distinfo b/pinocchio/distinfo
index 3cccf223..fb9e12e2 100644
--- a/pinocchio/distinfo
+++ b/pinocchio/distinfo
@@ -1,3 +1,3 @@
-SHA1 (pinocchio-1.2.3.tar.gz) = 886316c9c51ef0ddb9392bc9288d59518591502e
-RMD160 (pinocchio-1.2.3.tar.gz) = 66026b67a92d67715bc3ededa3bec967a86c0fcf
-Size (pinocchio-1.2.3.tar.gz) = 8959651 bytes
+SHA1 (pinocchio-1.2.4.tar.gz) = 37c966e31fff360d07936012094ff5d53df5fa2c
+RMD160 (pinocchio-1.2.4.tar.gz) = d47b71bbfaf05e6f254781915ff1a0f005a27f25
+Size (pinocchio-1.2.4.tar.gz) = 8992990 bytes
--
GitLab