architecture: arm64 component: main package: src2tex priority: optional section: tex srcpkg_name: src2tex srcpkg_version: 2.12h-9.1 version: 2.12h-9.1