From d9a3a3b849862d84958a186e546ad7adfc321d52 Mon Sep 17 00:00:00 2001 From: Olivier Stasse <ostasse@laas.fr> Date: Thu, 6 Dec 2018 22:50:26 +0100 Subject: [PATCH] [wip/pal-gazebo-plugins] Release to 1.1.8 --- pal-gazebo-plugins/Makefile | 2 +- pal-gazebo-plugins/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pal-gazebo-plugins/Makefile b/pal-gazebo-plugins/Makefile index bfc146ef..50ee81a4 100644 --- a/pal-gazebo-plugins/Makefile +++ b/pal-gazebo-plugins/Makefile @@ -1,7 +1,7 @@ # robotpkg Makefile for: wip/pal-gazebo-plugins # Created: Olivier Stasse on Fri, 21 Apr 2017 # -VERSION= 1.1.7 +VERSION= 1.1.8 PKGBASE= pal-gazebo-plugins PKGNAME= ${PKGBASE}-${VERSION} DISTNAME= ${VERSION} diff --git a/pal-gazebo-plugins/distinfo b/pal-gazebo-plugins/distinfo index 23adebb3..fea1052f 100644 --- a/pal-gazebo-plugins/distinfo +++ b/pal-gazebo-plugins/distinfo @@ -1,3 +1,3 @@ -SHA1 (pal-gazebo-plugins/1.1.7.tar.gz) = 9b218f626499f574c7f9966c839f993be2227420 -RMD160 (pal-gazebo-plugins/1.1.7.tar.gz) = 31fdfb22bb9364d16b69239d3268ec5f3baf3279 -Size (pal-gazebo-plugins/1.1.7.tar.gz) = 14411 bytes +SHA1 (pal-gazebo-plugins/1.1.8.tar.gz) = 32a41367fee11ef377ce1af3f8aafe8c2319873b +RMD160 (pal-gazebo-plugins/1.1.8.tar.gz) = 050d320ee74a6fdd5a89c00c88fe0eac19306d82 +Size (pal-gazebo-plugins/1.1.8.tar.gz) = 14461 bytes -- GitLab