This control file is indexed.
Package: libmirplatform-dev
Architecture: amd64
Version: 0.31.1-0ubuntu1
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: 248
Depends: libmirplatform16 (= 0.31.1-0ubuntu1), libmircommon-dev (= 0.31.1-0ubuntu1), libboost-program-options-dev
Breaks: libmirplatform (<< 0.6)
Replaces: libmirplatform (<< 0.6)
Filename: pool/main/m/mir/libmirplatform-dev_0.31.1-0ubuntu1_amd64.deb
Size: 24196
MD5sum: ac39189fe7d8cc15d0557f3a88ef23d8
SHA1: 8221c95b89d183e7f961489531671a033c9630df
SHA256: c91a9ca5dd89f9302720ce288893dcad3f02033e7b5473cdfbd53940eab4e0fb
Homepage: https://launchpad.net/mir
Description: Display server for Ubuntu - development headers
Description-md5: ca7ea904d7426a836da1bf0c2fb36ad8
Supported: 5y