5.0.0

CHANGES:

• Renamed to mirage-mtime (from mirage-clock), only the MCLOCK part
• use "dune variants" for the different implementations