Bug report should be sent to the Inria folks. Barry I wonder how many French Francs they waste maintaining their own source forge instead of using github for free.

On Jun 25, 2015, at 9:55 AM, Stefano Zampini <[email protected]> wrote:

It seems that —download-ptscotch is broken right now, since the code repository on gforge.inria.fr is not accessible anymore as an anonymous user.

Stefano