Use mint repo for cinnamon