CurryInfo: contracts-3.1.0