[crux-commits] ports/opt (3.4): check: 0.10.0 -> 0.12.0