(library
 (name        mirage_clock)
 (public_name mirage-clock)
 (wrapped false))
