Package: libmirage-ptime-ocaml-dev
Runtime: libmirage-ptime-ocaml
Version: 5.2.0-1build5

File: debian/libmirage-ptime-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-ptime/mock/mirage_ptime_mock.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-ptime-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-ptime/set/mirage_ptime_set.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-ptime-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-ptime/solo5/mirage_ptime_solo5.cma
Force custom: no
Extra C object files: -lmirage_ptime_solo5_stubs
Extra C options:

File: debian/libmirage-ptime-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-ptime/unikraft/mirage_ptime_unikraft.cma
Force custom: no
Extra C object files:
Extra C options:

File: debian/libmirage-ptime-ocaml/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/mirage-ptime/unix/mirage_ptime_unix.cma
Force custom: no
Extra C object files:
Extra C options:
