architecture: amd64 component: main package: mir-demos priority: optional section: x11 srcpkg_name: mir srcpkg_version: 2.12.1-1 version: 2.12.1-1