pausable_clock 1.0.2

A source of time information that can be paused and resumed
Documentation