Need an old MIT Kerberos distribution

[Jeff Blaine]

I'm failing to find/get 1.3.0 for a specific need.

   http://web.mit.edu/Kerberos/historical.html

       ->

   http://web.mit.edu/Kerberos/krb5-1.3/krb5-1.3.html

       ->

   "Retrieve it here!"
   http://web.mit.edu/network/kerberos-form.html

       ->

   "The kerberos...blahblah has moved."

   Redirected in 1 second to main/modern dist. download page.