The latest binary release is available for download at Theodolite's sourceforge page http://sourceforge.net/projects/theodolite.
At the moment there aren't any source tarballs available, but this will be coming soon. In the meantime, you can just get the source from the darcs repository.
