This is an updated debian package derived from:

	http://tinyos.stanford.edu/tinyos/toolchain/repo/deputy-tinyos-1.1.tar.gz

and incorporates the tinyos patch file:

	http://tinyos.stanford.edu/tinyos/toolchain/repo/deputy.patch