Package: libpsmt2-frontend-ocaml-dev
Runtime: libpsmt2-frontend-ocaml
Version: 0.4.0-3build1

File: debian/libpsmt2-frontend-ocaml/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
Force custom: no
Extra C object files:
Extra C options:
