architecture: amd64 component: main package: metamath priority: optional section: math srcpkg_name: metamath srcpkg_version: 0.195-1 version: 0.195-1