summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenjamin Chrétien2015-08-26 18:56:58 +0900
committerBenjamin Chrétien2015-08-26 18:56:58 +0900
commitd43ec40fbdb5d86f1a276fb3ac11ef4ed9037ec2 (patch)
tree47ee0a69ea4009df431c07b4d80aaa68ffb9acdc
parent767dd585bd29407fcb9e61c2a05ed4cbc366cc70 (diff)
downloadaur-d43ec40fbdb5d86f1a276fb3ac11ef4ed9037ec2.tar.gz
Update to version 0.3.12
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 92dc649277c1..2142eab26726 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = ros-jade-rqt-shell
pkgdesc = ROS - rqt_shell is a Python GUI plugin providing an interactive shell.
- pkgver = 0.3.11
+ pkgver = 0.3.12
pkgrel = 1
url = http://ros.org/wiki/rqt_shell
arch = any
@@ -14,7 +14,7 @@ pkgbase = ros-jade-rqt-shell
depends = ros-jade-qt-gui
depends = ros-jade-rqt-gui
depends = python2-rospkg
- source = rqt_shell::git+https://github.com/ros-gbp/rqt_common_plugins-release.git#tag=release/jade/rqt_shell/0.3.11-0
+ source = rqt_shell::git+https://github.com/ros-gbp/rqt_common_plugins-release.git#tag=release/jade/rqt_shell/0.3.12-0
md5sums = SKIP
pkgname = ros-jade-rqt-shell
diff --git a/PKGBUILD b/PKGBUILD
index 2900981c35a8..e19d32c6a6ef 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@ pkgdesc="ROS - rqt_shell is a Python GUI plugin providing an interactive shell."
url='http://ros.org/wiki/rqt_shell'
pkgname='ros-jade-rqt-shell'
-pkgver='0.3.11'
+pkgver='0.3.12'
_pkgver_patch=0
arch=('any')
pkgrel=1