architecture: arm64 component: main package: maude priority: optional section: science srcpkg_name: maude srcpkg_version: 3.2-2 version: 3.2-2