Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

beakerlib-rlMemAvg dzeX11 ec2_gahp consul euare-userdelkey globus-sh-exec installkernel slog2navigator nysynopt-gfortran dbcolstatscores flogtool generate-patches.pl autodep8 btlaunchmany.bittornado figlet-figlet g.setproj idconvert color_matrix mono-server4-admin RawLogViewer nepomukcleaner codechanges prayer-ssl-prune rme mred illumina-dump lily-glyph-commands tcdecode xzgv yesod-ar-wrapper