depext

opam-depext transition package
Description

This package has been renamed to 'opam-depext' and can safely be removed