(lang dune 3.17)
(name mirage-clock)
(version 4.2.0)
(sections
 (lib /usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/mirage-clock)
 (doc /usr/doc/mirage-clock))
(files
 (lib
  (META
   dune-package
   mirage_clock.cma
   mirage_clock.cmi
   mirage_clock.cmt
   mirage_clock.ml
   opam))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name mirage-clock)
 (kind normal)
 (archives (byte mirage_clock.cma))
 (plugins (byte mirage_clock.cma))
 (main_module_name Mirage_clock)
 (modes byte)
 (modules
  (singleton
   (obj_name mirage_clock)
   (visibility public)
   (source (path Mirage_clock) (impl (path mirage_clock.ml))))))
