found 529485 3.0.0.dfsg-5 thanks Looks like it happened again during the build of the new version on hppa (attempted to build 6 times during the last couple of weeks). Last failed build log may be found here:
https://buildd.debian.org/fetch.cgi?pkg=petsc&arch=hppa&ver=3.0.0.dfsg-5&stamp=1245181688&file=log&as=raw Best regards, -- Jurij Smakov ju...@wooyd.org Key: http://www.wooyd.org/pgpkey/ KeyID: C99E03CC -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
