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