tinyos-tools (1.4.2-1) unstable; urgency=low

  * Initial Debian Release (Closes: #696007)

 -- Sebastian Reichel <sre@debian.org>  Sun, 06 Jan 2013 22:42:13 +0100