Package: libplayercore3.0-dev Priority: extra Section: universe/libdevel Installed-Size: 157 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 Replaces: libplayercore2-dev Provides: libplayercore-dev, libplayercore2-dev Depends: libplayercore3.0 (= 3.0.2+dfsg-4.1ubuntu3), libplayercommon3.0-dev (= 3.0.2+dfsg-4.1ubuntu3), libplayerinterface3.0-dev (= 3.0.2+dfsg-4.1ubuntu3), libgeos-dev Conflicts: libplayercore-dev, libplayercore2-dev Filename: pool/universe/p/player/libplayercore3.0-dev_3.0.2+dfsg-4.1ubuntu3_amd64.deb Size: 21618 MD5sum: 1fb8ab3fe0a517dbe15a099637e3ec1d SHA1: cf01fbb790d0350b5c2fdc963ffc25474e4cf0e8 SHA256: 9fa6d02be1458f0205cab49ddfed106a0bd6012435a51a4d792abe50f710cf4a Description: Networked server for robots and sensors - core library development files Homepage: http://playerstage.sourceforge.net/ Description-md5: 5653689954c62babba9406fdbae5e7fe Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu