diff --git a/pinocchio/Makefile b/pinocchio/Makefile
index f80844ff61c2100dc5a9fc6a9223effa0db39d6c..ca8b59e58d9d272fbeae3ce4e632399a838d95ce 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 3cccf223162a0ee1eaced3d2d2a0a4f87ab5ebcb..fb9e12e2539b4d39788a2463aacf739590f6c4d1 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