Package: libqcheck-lin-ocaml-dev
Version: 0.7-3+b2

File: debian/libqcheck-lin-ocaml-dev/usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-lin-ocaml-dev/usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-lin-ocaml-dev/usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/qcheck-lin/lin/lin.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-lin-ocaml-dev/usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cma
Force custom: no
Extra C object files:
Extra C options:
