On Thu, 15 Nov 2012, Blaise A Bourdin wrote: > Hi, > > I can't pull petsc dev or 3.3 from petsc.cs.iit.edu anymore > At the risk of restarting a flamewar, has bitbucket become the official / main repository? yes should the petsc web pages be updated to reflect this? yes - will do this.. satish