Package: libpetsc3.4.2-dev

"libpetsc3.4.2-dev" package binaries on Debian:

/usr/lib/petscdir/3.4.2/bin/mpirun_lam.1.gz /usr/lib/petscdir/3.4.2/bin/mpirun_lam /usr/lib/petscdir/3.4.2/bin/petscarch.1.gz /usr/lib/petscdir/3.4.2/bin/petscarch

You may install this package on Debian with apt-get install libpetsc3.4.2-dev