petsc_conf.py
Debugging libraries for PETSc
RUN apt-get update && \
apt-get install -y libpetsc3.10-dev-common
RUN apt-get update && \
apt-get install -y libpetsc3.6.2-dev
RUN apt-get update && \
apt-get install -y libpetsc-complex3.9-dev
RUN apt-get update && \
apt-get install -y libpetsc-complex-3.7.5-dbg