CurryInfo: boxes-3.0.0