Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

x86_64-linux-gnu-objdump dialog-config h5mkgrp jack_wait kwatchgnupg cdpinger mydns-mysql safe_camlp4 ola_dev_info ttf2pt1_lst xdg-icon-resource xsane blend-role cba-gtk devede font-manager mb2gmn lft mailagent.archive.pl qmqpfront-echo mbt adb2mhc gendef flist xmlwidget remuco-audacious scheme48-config movie-zoomcalc sliceacq ringstat