architecture: amd64 component: main package: psmt2-frontend priority: optional section: ocaml srcpkg_name: psmt2-frontend srcpkg_version: 0.4.0-1 version: 0.4.0-1+b1