adapt to mirage 3.8.0 changes (ipaddr5, tcpip5); bump opam-repository hash (to get netchannel+mirage-net-xen 0.13.1)#112

Merged

talex5 merged 2 commits intomirage:masterfrom robur-coop:mirage38

Jul 4, 2020

+6-6

Commits on Jul 3, 2020

adapt to mirage 3.8.0 changes (ipaddr5, tcpip5); bump opam-repository hash (to get netchannel+mirage-net-xen 0.13.1)
hannesm
committed
update sha256 from travis run
hannesm
committed