@Dead Mozay: The updates are from the main repository. @Marguerite Su: Thanks for looking into this issue! I'll try to get the proper cinnamon version directly from X11:Cinnamon:Factory and see if it resolves the issue. As an idea for the future, if updating muffin without updating cinnamon is a bad idea, then it would be nice if this metadata was somehow encoded in the RPMs so that zypper rejects the muffin update, as it does for cinnamon-lang.