diff options
author | jwhendy | 2019-07-03 22:09:48 -0500 |
---|---|---|
committer | jwhendy | 2019-07-03 22:09:48 -0500 |
commit | aeccc67d122271e162bc316b71a6545a5be5b283 (patch) | |
tree | ffded7f9ee0e3b5a3aaff9a6bae033ad6822d4e8 | |
parent | 897e346a622474158b57e6f3e2f944bad2b3fc10 (diff) | |
download | aur-aeccc67d122271e162bc316b71a6545a5be5b283.tar.gz |
updated URL
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ pkgbase = ros-melodic-map-server pkgdesc = ROS - map_server provides the map_server ROS Node, which offers map data as a ROS Service. pkgver = 1.16.2 pkgrel = 1 - url = http://wiki.ros.org/map_server + url = https://wiki.ros.org/map_server arch = any license = BSD makedepends = cmake @@ -1,6 +1,6 @@ # Maintainer: Timon Engelke <aur@timonengelke.de> pkgdesc="ROS - map_server provides the map_server ROS Node, which offers map data as a ROS Service." -url='http://wiki.ros.org/map_server' +url='https://wiki.ros.org/map_server' pkgname='ros-melodic-map-server' pkgver='1.16.2' |