CurryInfo: time-3.0.0