Package: libdscheck-ocaml-dev
Version: 0.5.0-2build8

File: debian/libdscheck-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cma
Force custom: no
Extra C object files:
Extra C options:
