depext

opam-depext transition package
Description

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

Install
Published
29 Nov 2017
Authors
Dependencies
Reverse Dependencies
orocksdb
< "0.2.2"