Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

extractrc package_crystalsvg malsym pmpost glsl-fs-texturecube powwow-movieplay sems-stats fake_advertise6 abc2abc autokey-gtk colorgcc authpasswd dcm_modify_elements cxref debci-generate-feeds ldap-add-host-to-netgroup filetea kinit.heimdal jack-osc test_all kwalletcli mojomojo_create.pl deb2solv es2gears_x11 nabi nuitka-run pan pypibrowser rainbow-easy dpkg-checkdeps