Cinnamon is available only in the latest repository, but not in the quarterly edition. According to the pkg mailing list, the issue is likely caused by a broken cinnamon-control-center, which caused the port to be skipped.