"Chris G. Demetriou" <cgd@CS.cmu.edu> writes:

Oh.  I must have misread.  :)

> In any case, why go that far for an old version of AXPpci33 firmware?

AltaVista pointed me there.  At the time, I didn't care _what_ version I
had, so long as it was srm :)  I had to ditch the arc console to get
anywhere.

> ftp://ftp.digital.com/pub/DEC/Alpha/firmware/v3.8/decaxppci33/

Ahh...  Fetching now.

--Michael