DIST petsc-3.1-p4.tar.gz 15455558 RMD160 42d1c587ab1a2676f62de866afe8c43365a1b236 SHA1 4516e74e7ea349fed58b26963cfa3747ef07c62e SHA256 4e9abb2d6a07e49ba77459398871c3f91c50669979f7e9d5017009615d2a24af
DIST petsc-3.1-p5.tar.gz 15456384 RMD160 c97e6cf9e000c6eb635a5c76d006b7f8b84b3320 SHA1 e884e3f670093fff66fe1a3964b2f6bfc58543ce SHA256 193c7f8a5826a2bfd47a915f74e87d31a67339f89129aadb16e7b4b9e9dbf7e1
DIST petsc-3.1-p7.tar.gz 15458474 RMD160 a22f839ae76ad262ff4fa2070fe256fa77a96f06 SHA1 aaee2ddeceb162699ab1b942de6a98c87dcb0b5e SHA256 c13c5eb18955d9c42413406dce8784d8c305d8ed33dcf107db736c309ac20175
DIST petsc-3.1-p8.tar.gz 15460606 RMD160 7d2bdc1bb5eda1d3fee39fe96d9edb2ce0e21afe SHA1 bfd083a85753366bc349808eb72eab1b8cc66944 SHA256 eba776e3cebf187f96ef5c638bd769602e27b5f5341be7eadb48dcad33072282