diff options
Diffstat (limited to 'libraries/urdfdom/urdfdom.info')
| -rw-r--r-- | libraries/urdfdom/urdfdom.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libraries/urdfdom/urdfdom.info b/libraries/urdfdom/urdfdom.info new file mode 100644 index 0000000000..37cf281bdd --- /dev/null +++ b/libraries/urdfdom/urdfdom.info @@ -0,0 +1,10 @@ +PRGNAM="urdfdom" +VERSION="1.0.0" +HOMEPAGE="http://wiki.ros.org/urdf" +DOWNLOAD="https://github.com/ros/urdfdom/archive/1.0.0.tar.gz" +MD5SUM="f51d7214d74470503447f28344d4e561" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="console_bridge urdfdom_headers tinyxml" +MAINTAINER="Nikolay Nikolov" +EMAIL="nikobnikolov[at]gmail[dot]com" |