dnscurve.0.1.0
Merge branch 'master' of git://github.com/dsheets/opam-repository
+dns.0.7.0
Merge pull request #1011 from mirage/master

+dnscurve and dns