The mirage-time repository defines:
mirage-time can be installed with opam:
opam install mirage-timemirage-time-unix can be installed with opam:
opam install mirage-time-unixIf you don't use opam consult the opam file for build instructions.