6bdf0beb1532fcfc88de0e73038b42f0e6d3b65d35d43be98f003066a52efdcd gnome-color-manager-3.12.3.news 909325ee9edb9e0713088a52046f1f42a85c2e6bb151cd7ab32fd7ed717750d6 gnome-color-manager-3.12.3.changes ce62f9d2d8702547b5083f800a2747cb6c8fd5a04a71e2dc6928166951d1d039 gnome-color-manager-3.12.3.tar.xz