Bug#615158: ITP: ocaml-cil -- OCaml library for manipulating C programs

[Stéphane Glondu <glondu@debian.org>]

Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glondu@debian.org>

* Package name    : ocaml-cil
  Version         : 1.3.7
  Upstream Author : George C. Necula and others
* URL             : http://sourceforge.net/projects/cil/
* License         : BSD
  Programming Lang: OCaml
  Description     : OCaml library for manipulating C programs

 CIL (C Intermediate Language) is a high-level representation along
 with a set of tools that permit easy analysis and source-to-source
 transformation of C programs.