Binary: dom-mrconfig

Debian packages that has this binary:

Package: dh-ocaml

/usr/bin/dom-mrconfig