blob: 7bf08c1d31f59a2dddb8b673cdee896ddea34df5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Generated by mksrcinfo v8
# Sun May 22 21:57:33 UTC 2016
pkgbase = ros-jade-rqt-shell
pkgdesc = ROS - rqt_shell is a Python GUI plugin providing an interactive shell.
pkgver = 0.3.13
pkgrel = 1
url = http://ros.org/wiki/rqt_shell
arch = any
license = BSD
makedepends = cmake
makedepends = ros-build-tools
makedepends = ros-jade-catkin
depends = ros-jade-qt-gui-py-common
depends = ros-jade-rqt-gui-py
depends = ros-jade-qt-gui
depends = ros-jade-rqt-gui
depends = python2-rospkg
source = ros-jade-rqt-shell-0.3.13-0.tar.gz::https://github.com/ros-gbp/rqt_common_plugins-release/archive/release/jade/rqt_shell/0.3.13-0.tar.gz
sha256sums = d15f1c1577e21017261cc14e580b821cc035a662191095bb088a4b84d168c874
pkgname = ros-jade-rqt-shell
|