Package: libmirplatform-dev Architecture: amd64 Version: 1.7.1-0ubuntu2 Multi-Arch: same Priority: optional Section: libdevel Source: mir Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Thomas Voß Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 285 Depends: libmirplatform17 (= 1.7.1-0ubuntu2), libmircommon-dev (= 1.7.1-0ubuntu2), libboost-program-options-dev Breaks: libmirplatform (<< 0.6) Replaces: libmirplatform (<< 0.6) Filename: pool/main/m/mir/libmirplatform-dev_1.7.1-0ubuntu2_amd64.deb Size: 29324 MD5sum: ac07278abfd5e924d8aa39c7310639cf SHA1: 2abfb4690e8606d57e108d4a505de2a44167d9ff SHA256: f24179a503a482991a5e26e6b68dfc2efb23316412325fa81201c61272a552f1 Homepage: https://mir-server.io/ Description: Display server for Ubuntu - development headers Description-md5: ca7ea904d7426a836da1bf0c2fb36ad8