libplayerinterface3.0-dev 3.0.2+dfsg-4.1ubuntu3 in ubuntu - trusty / universe

About

This package is 53.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/player/libplayerinterface3.0-dev_3.0.2+dfsg-4.1ubuntu3_amd64.deb .

View its full control file here: debian/control.

Description

Networked server for robots and sensors - interface library dev files

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
/usr/		root:root	0o755
/usr/bin/		root:root	0o755
/usr/bin/playerinterfacegen	text/x-python	root:root	0o755	8.3 KB
/usr/bin/playerxdrgen	text/x-python	root:root	0o755	20.8 KB
/usr/include/		root:root	0o755
/usr/include/player-3.0/		root:root	0o755
/usr/include/player-3.0/libplayerinterface/		root:root	0o755
/usr/include/player-3.0/libplayerinterface/addr_util.h	text/x-c	root:root	0o644	2.3 KB
/usr/include/player-3.0/libplayerinterface/functiontable.h	text/x-c	root:root	0o644	7.4 KB
/usr/include/player-3.0/libplayerinterface/interface_util.h	text/x-c	root:root	0o644	4.5 KB
/usr/include/player-3.0/libplayerinterface/player.h	text/x-c	root:root	0o644	14.5 KB
/usr/include/player-3.0/libplayerinterface/player_interfaces.h	text/plain	root:root	0o644	144.5 KB
/usr/include/player-3.0/libplayerinterface/playerxdr.h	text/x-c	root:root	0o644	152.6 KB
/usr/lib/		root:root	0o755
/usr/lib/libplayerinterface.so		root:root	0o777
/usr/lib/pkgconfig/		root:root	0o755
/usr/lib/pkgconfig/playerinterface.pc	text/plain	root:root	0o644	344 bytes
/usr/lib/player-3.0/		root:root	0o755
/usr/lib/player-3.0/UsePlayerPlugin.cmake	text/plain	root:root	0o644	10.8 KB
/usr/share/		root:root	0o755
/usr/share/doc/		root:root	0o755
/usr/share/doc/libplayerinterface3.0-dev/		root:root	0o755
/usr/share/doc/libplayerinterface3.0-dev/changelog.Debian.gz		root:root	0o777
/usr/share/doc/libplayerinterface3.0-dev/copyright	text/plain	root:root	0o644	2.7 KB
/usr/share/man/		root:root	0o755
/usr/share/man/man1/		root:root	0o755
/usr/share/man/man1/playerinterfacegen.1.gz	application/gzip	root:root	0o644	794 bytes
/usr/share/man/man1/playerxdrgen.1.gz	application/gzip	root:root	0o644	907 bytes