Package: libmirage-clock-ocaml-dev
Runtime: libmirage-clock-ocaml
Version: 4.2.0-1build4

File: debian/libmirage-clock-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.4.0/mirage-clock/mirage_clock.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-clock-ocaml/usr/lib/x86_64-linux-gnu/ocaml/5.4.0/mirage-clock-unix/mirage_clock_unix.cma
Force custom: no
Extra C object files: -lmirage_clock_unix_stubs -lrt
Extra C options:
