[crux-commits] ports/contrib (3.5): metis: 5.1.0 -> 5.1.0-p8