Package: libplayerwkb3.0-dev Priority: extra Section: universe/libdevel Installed-Size: 53 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-4.1ubuntu3 Provides: libplayerwkb-dev Depends: libplayerwkb3.0 (= 3.0.2+dfsg-4.1ubuntu3), libplayercommon3.0-dev (= 3.0.2+dfsg-4.1ubuntu3) Conflicts: libplayerwkb-dev Filename: pool/universe/p/player/libplayerwkb3.0-dev_3.0.2+dfsg-4.1ubuntu3_amd64.deb Size: 3466 MD5sum: 0246d0c925e7ed3a121e77add7767cf6 SHA1: cd93d46f04e168e8f93aaff4a2d7b7a75b4d892c SHA256: 3a603bec014bdbe948a931de608245d6a88e5c419fd39d90d42a6fca2cb00ea9 Description: Networked server for robots and sensors - WKB library dev files Homepage: http://playerstage.sourceforge.net/ Description-md5: df644fbaec6aa6e088384258e7c1948f Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu