Source: deputy-tinyos
Section: devel
Priority: optional
Maintainer: R. Steve McKown <rsmckown@gmail.com>
Build-Depends: dpkg (>= 1.13.9), dpatch, file, autotools-dev, ocaml (>= 3.08)
Standards-Version: 3.7.2

Package: deputy-tinyos
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, perl-base (>= 5.6.1), gcc (>= 4)
Recommends: ocaml-interp (>= 3.08)
Description: Advanced C compiler for enforcing type and memory safety
 Advanced C compiler that uses type annotations to enforce type and memory
 safety in existing C programs.  Performs additional static checking, and
 inserts run-time checks when static checking is insufficient.