architecture: amd64 component: main package: libmiral-dev priority: optional section: libdevel srcpkg_name: mir srcpkg_version: 2.12.1-1 version: 3.7.0.2.12.1-1