architecture: arm64 component: main package: libwhy3-ocaml-dev priority: optional section: ocaml srcpkg_name: why3 srcpkg_version: 1.5.1-1 version: 1.5.1-1+b2