4.02 1.8

This depends on https://github.com/Incubaid/opam-repository-devel/pull/11