Package: libplayerinterface3.0-dev Priority: extra Section: universe/libdevel Installed-Size: 433 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Janssen <jamuraa@debian.org> Architecture: amd64 Source: player Version: 3.0.2+dfsg-3ubuntu2 Replaces: libplayerxdr2-dev Provides: libplayerxdr-dev, libplayerxdr2-dev Depends: libplayerinterface3.0 (= 3.0.2+dfsg-3ubuntu2), libplayercommon3.0-dev (= 3.0.2+dfsg-3ubuntu2), python Conflicts: libplayerxdr-dev, libplayerxdr2-dev Filename: pool/universe/p/player/libplayerinterface3.0-dev_3.0.2+dfsg-3ubuntu2_amd64.deb Size: 68330 MD5sum: 0fff186f4796dfa0239fd10cacbc2959 SHA1: ece5ab29ceff378d2bbebee0b2ac50f33fd3eb00 SHA256: cd99e1c09210ad15a191d5427827e819f8844fc9341fc7a24125a1eba445420e Description: Networked server for robots and sensors - interface library dev files Homepage: http://playerstage.sourceforge.net/ Description-md5: 708907ac7f2ce91bb16757a423bb7524 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu