OK, the Raspberry Pi Debian armhf hard float repository (aka Raspbian) is now live at the following URL:
The GPG key for the repository is here:
As of right now I have no documentation on how to use it, but I'll see what I can put together over the next few days. However, if you know how to use debootstrap and have an ARM device or emulator capability of running ARMv6+VFP code you should be able to use the repository to get a minimal install of hard float Debian running. Also, build-essential and a few other important packages such as gcc-4.7, openssh-client and openssh-server can be installed as well.
The binary packages included so far in the repository can be examined in the Packages file linked below:
These packages are known to work with the kernel released by the Raspberry Pi foundation. Of course, this will only currently create an absolute minimal install of Debian, but it should be enough to build and run benchmarks to compare performance against the Debian armel soft float previously released by the Foundation.
What would be really helpful to me is if someone knowledgeable with debootstrap could post instructions for using these packages to install either a chroot or a stand alone install of Debian. That will give me more time to finish the build cluster so that we can flesh out the repository with the other 95% of the packages that aren't yet built.
Finally, I would like to thank Plugwash for the invaluable advice and encouragement to help get things this far and to John Mills for helping to find sites that will hopefully soon be mirroring the repository.
Off to sleep now. I'm too old to be staying up to 3am so many nights in a row...