Binary: ppm2video

Debian packages that has this binary:

Package: gerris-mpi

/usr/bin/ppm2video

Package: gerris

/usr/bin/ppm2video