Binary: dune-mpi-config

Debian packages that has this binary:

Package: libdune-common-dev

/usr/bin/dune-mpi-config

Random binary cloud:

beakerlib-journalling dvisvgm sphtriangulate x86_64-w64-mingw32-as darkbat mpif77 useprogram-flushverts-2 ftpdctl gatherctl pbs_sched ds-logpipe i586-linux-gnu-ar cdvserver install-keymap dhcp-helper backtranambig xmlget wnnkill gauche-cesconv gummi bpsink bpstats2 jffs2dump scanpbnj check_id_map.py ConvertibleBonds snget create_epsg movie-title vbmakeglm