sync mirari with 0.9.5 upstream opam reqs
sync packages with upstream constraints, adjusted for 1.0.0