architecture: all component: main package: why3-examples priority: optional section: math srcpkg_name: why3 srcpkg_version: 1.5.1-1 version: 1.5.1-1