Package: libmirplatform-dev
Architecture: amd64
Version: 1.7.1-0ubuntu2
Multi-Arch: same
Priority: optional
Section: libdevel
Source: mir
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Thomas Voß <thomas.voss@canonical.com>
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