Package: libqcheck-stm-ocaml-dev
Version: 0.7-1build2

File: debian/libqcheck-stm-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/domain/STM_domain.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-stm-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/sequential/STM_sequential.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-stm-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/stm/STM.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libqcheck-stm-ocaml-dev/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/qcheck-stm/thread/STM_thread.cma
Force custom: no
Extra C object files:
Extra C options:
