version = "5.2.0"
description = ""
requires = "ptime"
archive(byte) = ""
archive(native) = ""
plugin(byte) = ""
plugin(native) = ""
package "mock" (
  directory = "mock"
  version = "5.2.0"
  description = ""
  requires = "mirage-ptime mirage-ptime.set"
  archive(byte) = "mirage_ptime_mock.cma"
  archive(native) = ""
  plugin(byte) = "mirage_ptime_mock.cma"
  plugin(native) = ""
)
package "set" (
  directory = "set"
  version = "5.2.0"
  description = ""
  requires = ""
  archive(byte) = "mirage_ptime_set.cma"
  archive(native) = ""
  plugin(byte) = "mirage_ptime_set.cma"
  plugin(native) = ""
)
package "solo5" (
  directory = "solo5"
  version = "5.2.0"
  description = ""
  requires = "mirage-ptime"
  archive(byte) = "mirage_ptime_solo5.cma"
  archive(native) = ""
  plugin(byte) = "mirage_ptime_solo5.cma"
  plugin(native) = ""
)
package "unikraft" (
  directory = "unikraft"
  version = "5.2.0"
  description = ""
  requires = "mirage-ptime ptime ptime.clock ptime.clock.os"
  archive(byte) = "mirage_ptime_unikraft.cma"
  archive(native) = ""
  plugin(byte) = "mirage_ptime_unikraft.cma"
  plugin(native) = ""
)
package "unix" (
  directory = "unix"
  version = "5.2.0"
  description = ""
  requires = "mirage-ptime ptime ptime.clock ptime.clock.os"
  archive(byte) = "mirage_ptime_unix.cma"
  archive(native) = ""
  plugin(byte) = "mirage_ptime_unix.cma"
  plugin(native) = ""
)