Fix mirage 1.0.0 constraints
Merge branch 'master' of github.com:ocaml/opam-repository
Merge pull request #1406 from samoht/master

fix mirage constraints