petscdiff
Debugging libraries for PETSc
RUN apt-get update && \
apt-get install -y libpetsc3.7.5-dev
RUN apt-get update && \
apt-get install -y libpetsc3.7.7-dev
RUN apt-get update && \
apt-get install -y libpetsc-real3.9-dev
RUN apt-get update && \
apt-get install -y libpetsc3.7.5-dev