From cac3778eef897084e5e938ec1d5433c9af99d8ea Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Thu, 4 Apr 2019 06:51:40 +0200
Subject: [PATCH] [wip/tiago-navigation] Fix distinfo

---
 tiago-navigation/distinfo | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tiago-navigation/distinfo b/tiago-navigation/distinfo
index 5f23cc74..68fe5ffe 100644
--- a/tiago-navigation/distinfo
+++ b/tiago-navigation/distinfo
@@ -1,3 +1,3 @@
-SHA1 (tiago-navigation/0.9.8os1.tar.gz) = d2ed4235ae5cdd63c9a5139d9a941df2c0649b20
-RMD160 (tiago-navigation/0.9.8os1.tar.gz) = f4c33bb535b2b06c01c9ff5d26c3cba086f6927e
-Size (tiago-navigation/0.9.8os1.tar.gz) = 25076 bytes
+SHA1 (tiago-navigation/1.0.7.tar.gz) = f0f595ad67a26698e783a3f36e185ff1195d324d
+RMD160 (tiago-navigation/1.0.7.tar.gz) = b661e451a5d525410a8ced639152c2d592c22b62
+Size (tiago-navigation/1.0.7.tar.gz) = 40475 bytes
-- 
GitLab