diff options
author | Romain Reignier | 2015-11-22 00:57:57 +0100 |
---|---|---|
committer | Romain Reignier | 2015-11-22 00:57:57 +0100 |
commit | 0a53295c55a295ee0dc6141bc45fcfb199e5387c (patch) | |
tree | 211a4b94a1448f2cf270a7d92aeddbba90d2465e | |
parent | 922eb5b13ed4b3578a68dd14638995c5e9f7ea77 (diff) | |
download | aur-0a53295c55a295ee0dc6141bc45fcfb199e5387c.tar.gz |
update to navigation 1.12.5
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = ros-indigo-map-server pkgdesc = ROS - map_server provides the map_server ROS Node, which offers map data as a ROS Service. - pkgver = 1.12.4 + pkgver = 1.12.5 pkgrel = 1 url = http://wiki.ros.org/map_server arch = any @@ -21,7 +21,7 @@ pkgbase = ros-indigo-map-server depends = ros-indigo-roscpp depends = sdl_image depends = yaml-cpp - source = map_server::git+https://github.com/ros-gbp/navigation-release.git#tag=release/indigo/map_server/1.12.4-0 + source = map_server::git+https://github.com/ros-gbp/navigation-release.git#tag=release/indigo/map_server/1.12.5-0 md5sums = SKIP pkgname = ros-indigo-map-server @@ -4,7 +4,7 @@ pkgdesc="ROS - map_server provides the map_server ROS Node, which offers map dat url='http://wiki.ros.org/map_server' pkgname='ros-indigo-map-server' -pkgver='1.12.4' +pkgver='1.12.5' _pkgver_patch=0 arch=('any') pkgrel=1 |