PETSc is the Portable, Extensible Toolkit for Scientific Computation.
belt needs version 3.1-p8, which is from 2010.