CurryInfo: spicey-4.2.0