(lang dune 3.20)
(name mirage-ptime)
(version 5.2.0)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/mirage-ptime)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/mirage-ptime)
 (doc /usr/doc/mirage-ptime)
 (stublibs /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/stublibs))
(files
 (lib
  (META
   dune-package
   mirage_ptime.cmi
   mirage_ptime.cmti
   mirage_ptime.mli
   mock/mirage_ptime.cmi
   mock/mirage_ptime.cmt
   mock/mirage_ptime.cmx
   mock/mirage_ptime.ml
   mock/mirage_ptime__mirage_ptime_mock__.cmi
   mock/mirage_ptime__mirage_ptime_mock__.cmt
   mock/mirage_ptime__mirage_ptime_mock__.cmx
   mock/mirage_ptime__mirage_ptime_mock__.ml
   mock/mirage_ptime_mock.a
   mock/mirage_ptime_mock.cma
   mock/mirage_ptime_mock.cmxa
   opam
   set/mirage_ptime_set.a
   set/mirage_ptime_set.cma
   set/mirage_ptime_set.cmi
   set/mirage_ptime_set.cmt
   set/mirage_ptime_set.cmx
   set/mirage_ptime_set.cmxa
   set/mirage_ptime_set.ml
   solo5/libmirage_ptime_solo5_stubs.a
   solo5/mirage_ptime.cmi
   solo5/mirage_ptime.cmt
   solo5/mirage_ptime.cmx
   solo5/mirage_ptime.ml
   solo5/mirage_ptime__mirage_ptime_solo5__.cmi
   solo5/mirage_ptime__mirage_ptime_solo5__.cmt
   solo5/mirage_ptime__mirage_ptime_solo5__.cmx
   solo5/mirage_ptime__mirage_ptime_solo5__.ml
   solo5/mirage_ptime_solo5.a
   solo5/mirage_ptime_solo5.cma
   solo5/mirage_ptime_solo5.cmxa
   unikraft/mirage_ptime.cmi
   unikraft/mirage_ptime.cmt
   unikraft/mirage_ptime.cmx
   unikraft/mirage_ptime.ml
   unikraft/mirage_ptime__mirage_ptime_unikraft__.cmi
   unikraft/mirage_ptime__mirage_ptime_unikraft__.cmt
   unikraft/mirage_ptime__mirage_ptime_unikraft__.cmx
   unikraft/mirage_ptime__mirage_ptime_unikraft__.ml
   unikraft/mirage_ptime_unikraft.a
   unikraft/mirage_ptime_unikraft.cma
   unikraft/mirage_ptime_unikraft.cmxa
   unix/mirage_ptime.cmi
   unix/mirage_ptime.cmt
   unix/mirage_ptime.cmx
   unix/mirage_ptime.ml
   unix/mirage_ptime__mirage_ptime_unix__.cmi
   unix/mirage_ptime__mirage_ptime_unix__.cmt
   unix/mirage_ptime__mirage_ptime_unix__.cmx
   unix/mirage_ptime__mirage_ptime_unix__.ml
   unix/mirage_ptime_unix.a
   unix/mirage_ptime_unix.cma
   unix/mirage_ptime_unix.cmxa))
 (libexec
  (mock/mirage_ptime_mock.cmxs
   set/mirage_ptime_set.cmxs
   solo5/mirage_ptime_solo5.cmxs
   unikraft/mirage_ptime_unikraft.cmxs
   unix/mirage_ptime_unix.cmxs))
 (doc (CHANGES.md LICENSE.md README.md))
 (stublibs (dllmirage_ptime_solo5_stubs.so)))
(library
 (name mirage-ptime)
 (kind normal)
 (virtual)
 (requires ptime)
 (default_implementation mirage-ptime.unix)
 (main_module_name Mirage_ptime)
 (modes byte native)
 (modules
  (singleton
   (obj_name mirage_ptime)
   (visibility public)
   (kind virtual)
   (source (path Mirage_ptime) (intf (path mirage_ptime.mli))))))
(library
 (name mirage-ptime.mock)
 (kind normal)
 (archives
  (byte mock/mirage_ptime_mock.cma)
  (native mock/mirage_ptime_mock.cmxa))
 (plugins
  (byte mock/mirage_ptime_mock.cma)
  (native mock/mirage_ptime_mock.cmxs))
 (native_archives mock/mirage_ptime_mock.a)
 (requires mirage-ptime mirage-ptime.set)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name mirage_ptime__mirage_ptime_mock__)
     (visibility public)
     (kind alias)
     (source
      (path Mirage_ptime__mirage_ptime_mock__)
      (impl (path mock/mirage_ptime__mirage_ptime_mock__.ml-gen))))
    (name Mirage_ptime)
    (modules
     (module
      (obj_name mirage_ptime)
      (visibility public)
      (kind impl_vmodule)
      (source (path Mirage_ptime) (impl (path mock/mirage_ptime.ml))))))
   (wrapped true))))
(library
 (name mirage-ptime.set)
 (kind normal)
 (archives (byte set/mirage_ptime_set.cma) (native set/mirage_ptime_set.cmxa))
 (plugins (byte set/mirage_ptime_set.cma) (native set/mirage_ptime_set.cmxs))
 (native_archives set/mirage_ptime_set.a)
 (main_module_name Mirage_ptime_set)
 (modes byte native)
 (modules
  (singleton
   (obj_name mirage_ptime_set)
   (visibility public)
   (source (path Mirage_ptime_set) (impl (path set/mirage_ptime_set.ml))))))
(library
 (name mirage-ptime.solo5)
 (kind normal)
 (archives
  (byte solo5/mirage_ptime_solo5.cma)
  (native solo5/mirage_ptime_solo5.cmxa))
 (plugins
  (byte solo5/mirage_ptime_solo5.cma)
  (native solo5/mirage_ptime_solo5.cmxs))
 (foreign_objects solo5/mirage_ptime_stubs.o)
 (foreign_archives
  (archives (for all) (files solo5/libmirage_ptime_solo5_stubs.a)))
 (foreign_dll_files ../stublibs/dllmirage_ptime_solo5_stubs.so)
 (native_archives solo5/mirage_ptime_solo5.a)
 (requires mirage-ptime)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name mirage_ptime__mirage_ptime_solo5__)
     (visibility public)
     (kind alias)
     (source
      (path Mirage_ptime__mirage_ptime_solo5__)
      (impl (path solo5/mirage_ptime__mirage_ptime_solo5__.ml-gen))))
    (name Mirage_ptime)
    (modules
     (module
      (obj_name mirage_ptime)
      (visibility public)
      (kind impl_vmodule)
      (source (path Mirage_ptime) (impl (path solo5/mirage_ptime.ml))))))
   (wrapped true))))
(library
 (name mirage-ptime.unikraft)
 (kind normal)
 (archives
  (byte unikraft/mirage_ptime_unikraft.cma)
  (native unikraft/mirage_ptime_unikraft.cmxa))
 (plugins
  (byte unikraft/mirage_ptime_unikraft.cma)
  (native unikraft/mirage_ptime_unikraft.cmxs))
 (native_archives unikraft/mirage_ptime_unikraft.a)
 (requires mirage-ptime ptime ptime.clock ptime.clock.os)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name mirage_ptime__mirage_ptime_unikraft__)
     (visibility public)
     (kind alias)
     (source
      (path Mirage_ptime__mirage_ptime_unikraft__)
      (impl (path unikraft/mirage_ptime__mirage_ptime_unikraft__.ml-gen))))
    (name Mirage_ptime)
    (modules
     (module
      (obj_name mirage_ptime)
      (visibility public)
      (kind impl_vmodule)
      (source (path Mirage_ptime) (impl (path unikraft/mirage_ptime.ml))))))
   (wrapped true))))
(library
 (name mirage-ptime.unix)
 (kind normal)
 (archives
  (byte unix/mirage_ptime_unix.cma)
  (native unix/mirage_ptime_unix.cmxa))
 (plugins
  (byte unix/mirage_ptime_unix.cma)
  (native unix/mirage_ptime_unix.cmxs))
 (native_archives unix/mirage_ptime_unix.a)
 (requires mirage-ptime ptime ptime.clock ptime.clock.os)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name mirage_ptime__mirage_ptime_unix__)
     (visibility public)
     (kind alias)
     (source
      (path Mirage_ptime__mirage_ptime_unix__)
      (impl (path unix/mirage_ptime__mirage_ptime_unix__.ml-gen))))
    (name Mirage_ptime)
    (modules
     (module
      (obj_name mirage_ptime)
      (visibility public)
      (kind impl_vmodule)
      (source (path Mirage_ptime) (impl (path unix/mirage_ptime.ml))))))
   (wrapped true))))
