architecture: all component: main package: gap-congruence priority: optional section: math srcpkg_name: gap-congruence srcpkg_version: 1.2.4-1 version: 1.2.4-1