Mirleft solstice special

tls/x509/nocrypto release pack
for both depopts and conflicts!? actually, the depopt for mirage should include mirage-types, ipaddr and io-page - but how to specify this in opam?