Package: libptime-ocaml-dev
Runtime: libptime-ocaml
Version: 1.2.0-3

File: debian/libptime-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ptime/ptime.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libptime-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ptime/clock/ptime_clock.cma
Force custom: no
Extra C object files: -lrt -lptime_clock_stubs -lrt
Extra C options:

File: debian/libptime-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ptime/top/ptime_top.cma
Force custom: no
Extra C object files:
Extra C options:
