CurryInfo: transbooleq-3.3.0