krb5/sources

73c89ed430f92df7d10c49167eec889b  krb5-1.10.2.tar.gz
53994fb4ccbeaf6d017d657942093502  krb5-1.10.2.tar.gz.asc
ddebe423b4d60fe957ab7c22dbc8a7ea  krb5-1.10.2-pdf.tar.xz
update to 1.10.2 - when building the new label for a file we're about to create, also mix in the current range, in addition to the current user - also package the PDF format admin, user, and install guides - drop some PDFs that no longer get built right 2012-06-01 18:05:55 +00:00			`73c89ed430f92df7d10c49167eec889b krb5-1.10.2.tar.gz`
			`53994fb4ccbeaf6d017d657942093502 krb5-1.10.2.tar.gz.asc`
			`ddebe423b4d60fe957ab7c22dbc8a7ea krb5-1.10.2-pdf.tar.xz`