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

Mirage 1.0.0
also update mirage-net md5
Merge pull request #1405 from mirage/master

also update mirage-net md5
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
Mirage: Be more explicit with package requirements
Merge pull request #1407 from mirage/master

Mirage: Be more explicit with package requirements