architecture: arm64 component: main package: libgmm-dev priority: optional section: libdevel srcpkg_name: getfem srcpkg_version: 5.4.2+dfsg1-5.1 version: 5.4.2+dfsg1-5.1