[crux-commits] ports/contrib (3.5): python3-pygments: 2.4.2 -> 2.5.2