diff options
Diffstat (limited to 'ports/urdfdom/CONTROL')
| -rw-r--r-- | ports/urdfdom/CONTROL | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/urdfdom/CONTROL b/ports/urdfdom/CONTROL new file mode 100644 index 000000000..71e036251 --- /dev/null +++ b/ports/urdfdom/CONTROL @@ -0,0 +1,4 @@ +Source: urdfdom +Version: 1.0.0-2 +Description: Provides core data structures and a simple XML parsers for populating the class data structures from an URDF file. +Build-Depends: console-bridge, tinyxml, urdfdom-headers |