Package: liburdfdom-headers-dev
Source: urdfdom-headers
Priority: extra
Section: universe/libdevel
Installed-Size: 90
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 2.1.0-1
Filename: pool/universe/u/urdfdom-headers/liburdfdom-headers-dev_2.1.0-1_all.deb
Size: 13374
SHA512: 8e457f7da98ec5d830721c8f47c364cfd21c9d3cbba127d83851e2822d8e699c21e67e9561770d3a4cda9e32687d5b6ec3e5d8126ef45e9d70ad88698f81803b
Homepage: https://github.com/ros/urdfdom_headers
Description: URDFDOM - header files
Description-md5: 88481daff51934700cfcda4b666e0911
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug