Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

augparse bcc dialyzer fbsetroot ulockmgr_server gifhisto s3 mk-upgrade ppmwheel nntpgrab_server_gtk papi_error_codes multi-draw-elements-base-vertex qdbuscpp2xml gem2rpm amstex patgen xwud debaux-build equivs-control hapolicy jackdbus mate-font-viewer extract_acr_nema mml2json.js nuaclgen spectoascii mkgrkindex vflbanner x42-scope outlookmsg2html