Source: deputy
Section: devel
Priority: optional
Maintainer: Jeremy Condit <jcondit@cs.berkeley.edu>
Build-Depends: debhelper (>= 5), autotools-dev, ocaml (>= 3.08)
Standards-Version: 3.7.2

Package: deputy
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.