Bug#655940: Please enable Alpha as allowable arch on petsc

[Michael Cree <mcree@orcon.net.nz>]

Source: petsc
Version: 3.2.dfsg-2
Severity: normal
User: debian-alpha@lists.debian.org
Usertags: alpha
X-Debbugs-CC: debian-alpha@lists.debian.org

petsc built in the past on Alpha, I believe, but Alpha has very recently
been removed from the architecture list for building petsc.  I have
verified that the current version, 3.2.dfsg-2, does in fact build to
completion on Alpha (but did not tried to install and run it).  I was
wondering what the reason was for the removal of Alpha and whether Alpha
can be added back to the architecture build list?

Thanks
Michael.