architecture: arm64 component: main package: why3 priority: optional section: math srcpkg_name: why3 srcpkg_version: 1.7.2-2 version: 1.7.2-2+b1