Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

pilot avahi-dnsconfd ogrtindex guilt-guard gvfs-trash h5import akonadi_ical_resource rbldns-data samefile shpproj usermount alliance-ocp aptitude-robot-session vegrep frequencies fprobe freefoam-stitchMesh ganeti-wconfd linefind hwloc-diff idba jack rdf_store_makeprivate.pl es2gears_screen orbd resourceEditor python2-dbg tssd MascotAdapterOnline esmerge