Package: libqcheck-stm-ocaml-dev
Version: 0.10-1

File: debian/libqcheck-stm-ocaml-dev/usr/lib/arm-linux-gnueabi/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/arm-linux-gnueabi/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/arm-linux-gnueabi/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/arm-linux-gnueabi/ocaml/5.3.0/qcheck-stm/thread/STM_thread.cma
Force custom: no
Extra C object files:
Extra C options:
