Package: libqcheck-lin-ocaml-dev
Version: 0.9-1

File: debian/libqcheck-lin-ocaml-dev/usr/lib/aarch64-linux-gnu/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/aarch64-linux-gnu/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/aarch64-linux-gnu/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/aarch64-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cma
Force custom: no
Extra C object files:
Extra C options:
