Summary of changes: 4eac5cf... Provides: kdeedu-marble%{?_isa} (*) 7d4c33c... 4.7.2 (*) (*) This commit already existed in another branch; no separate mail sent