Package: libpsmt2-frontend-ocaml-dev
Runtime: libpsmt2-frontend-ocaml
Version: 0.4.0-4build2

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