(lang dune 3.20)
(name mirage-ptime)
(version 5.2.0)
(sections
 (lib /usr/lib/loongarch64-linux-gnu/ocaml/5.4.0/mirage-ptime)
 (doc /usr/doc/mirage-ptime)
 (stublibs /usr/lib/loongarch64-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.ml
   mock/mirage_ptime__mirage_ptime_mock__.cmi
   mock/mirage_ptime__mirage_ptime_mock__.cmt
   mock/mirage_ptime__mirage_ptime_mock__.ml
   mock/mirage_ptime_mock.cma
   opam
   set/mirage_ptime_set.cma
   set/mirage_ptime_set.cmi
   set/mirage_ptime_set.cmt
   set/mirage_ptime_set.ml
   solo5/libmirage_ptime_solo5_stubs.a
   solo5/mirage_ptime.cmi
   solo5/mirage_ptime.cmt
   solo5/mirage_ptime.ml
   solo5/mirage_ptime__mirage_ptime_solo5__.cmi
   solo5/mirage_ptime__mirage_ptime_solo5__.cmt
   solo5/mirage_ptime__mirage_ptime_solo5__.ml
   solo5/mirage_ptime_solo5.cma
   unikraft/mirage_ptime.cmi
   unikraft/mirage_ptime.cmt
   unikraft/mirage_ptime.ml
   unikraft/mirage_ptime__mirage_ptime_unikraft__.cmi
   unikraft/mirage_ptime__mirage_ptime_unikraft__.cmt
   unikraft/mirage_ptime__mirage_ptime_unikraft__.ml
   unikraft/mirage_ptime_unikraft.cma
   unix/mirage_ptime.cmi
   unix/mirage_ptime.cmt
   unix/mirage_ptime.ml
   unix/mirage_ptime__mirage_ptime_unix__.cmi
   unix/mirage_ptime__mirage_ptime_unix__.cmt
   unix/mirage_ptime__mirage_ptime_unix__.ml
   unix/mirage_ptime_unix.cma))
 (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)
 (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))
 (plugins (byte mock/mirage_ptime_mock.cma))
 (requires mirage-ptime mirage-ptime.set)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte)
 (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))
 (plugins (byte set/mirage_ptime_set.cma))
 (main_module_name Mirage_ptime_set)
 (modes byte)
 (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))
 (plugins (byte solo5/mirage_ptime_solo5.cma))
 (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)
 (requires mirage-ptime)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte)
 (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))
 (plugins (byte unikraft/mirage_ptime_unikraft.cma))
 (requires mirage-ptime ptime ptime.clock ptime.clock.os)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte)
 (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))
 (plugins (byte unix/mirage_ptime_unix.cma))
 (requires mirage-ptime ptime ptime.clock ptime.clock.os)
 (implements mirage-ptime)
 (main_module_name Mirage_ptime)
 (modes byte)
 (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))))
