-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

> 

> Great, thank you.
> 
> A supplementary question: Since these extra architectures are available only from my alternative apt source, I
> should add instructions for its use to the official installation instructions for Debian?
> 
> What is your opinion?
> 

Sounds good to me.
Another option would be for Tim to make them available on the main site.

Cheers
  Michele
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJUj5j9AAoJECp1t8qK3tXP5ikP+QHeL5qzXjZZMuUbQLBsezD5
H1QcxaaYbWt9hMFO+DDMDCtsRBS33sOfPztIbGyWQ3USMfUY5QTUs4zjary96i1j
SMZx+3RtH/6pNJJVwWRUryaz6DgLxwC2ARpy4YSKeiz8L0j40M2crQE71mbId7dV
C1FHeMX9ZS0c1OHASRjxbkSo0qfuf7oxaDyiiKYZnyune1f6yaN+VKpJX1F4cGez
/V+klHHKkCvuMgD8npf4LzYC9a+HyuM+fzz5og5nDpeuxBnKvUAAkx51Ce5W+B4Z
wIt4wUf0wpxZoqwdIq0IjlBiZ7tT7pYhmmvn+NGhKPxHMCv/TIDuuikZoCN28KRN
NHPsVWSLtfiVLo69mkio1U7q66SWXStBDy9uRZpO13kBvo6t8sAmxZxlXP2suaU3
eb5N1JUdPd79C9co65ys9OEtugncujbIlFu3epr1ZfRd6kvdVloSmORoiEFglMkJ
rWV8KrBdpL/V71k8N6aCn0oUfUfOPLT/eGbQlUi+AY8vAe+3ZBtZkb34rvX0D+I/
J8NJG/qrxVE+jpz6Au078QsqPrqryJ7vF3eSwZeF7fDnnPg7zHQkyVMKeEWj7k3a
N4+MZ5vV3g8busMcCDIQ/tIxKaQUuhJlpfTKp/IkmV4bIbA5F6sys+oLjLE4GKkl
I6UWLahPScefC9Pe15Bn
=ve3l
-----END PGP SIGNATURE-----