[Tinyos Core WG] Safe TinyOS toolchain updated

[Kevin Klues]

Updated deputy with new patches in the debian repo

Kevin

On Wed, Jul 2, 2008 at 3:36 PM,  <chenyang at cs.utah.edu> wrote:
> Hi Kevin,
>
> Zach and David fixed some serious Deputy bugs we found yesterday. I updated
> our debian and rpm packages. Could you help us to update them? Thank you!
>
> http://www.cs.utah.edu/~coop/safetinyos/files/deputy-tinyos_1.1-20080702_i386.deb
> http://www.cs.utah.edu/~coop/safetinyos/files/deputy-tinyos_1.1-20080702_cygwin.i386.rpm
>
> - Yang
>
> ----------------------------------------------------------------
> This message was sent using IMP, the Internet Messaging Program.
>



-- 
~Kevin