Error when installing several opam packages

Please do not cross post.