Format: 1.8
Date: Wed, 02 Dec 2009 00:08:35 +0100
Source: frama-c
Binary: frama-c
Architecture: i386
Version: 20090901+beryllium+dfsg-2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@palmer.buildd>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Closes: 541963
Changes: 
 frama-c (20090901+beryllium+dfsg-2) unstable; urgency=low
 .
   * Fix watch file
   * Build-depend on lablgtk2 (>= 2.14.0+dfsg-2) (Closes: #541963).
     - Add a patch: 0004-Use-GSourceView2.patch
   * Use new features of dh-ocaml
   * Build-dep on ocamlgraph (>> 1.2+debian)
Checksums-Sha1: 
 636ba3838fea5b3dfa5ab257314dda5692e57d85 16402522 frama-c_20090901+beryllium+dfsg-2_i386.deb
Checksums-Sha256: 
 05653168c4b7f4a7d24123bc15683148da8a6f02256c624c47bd72606090c54c 16402522 frama-c_20090901+beryllium+dfsg-2_i386.deb
Files: 
 6eb7734cf53548710290aaf88363b110 16402522 math extra frama-c_20090901+beryllium+dfsg-2_i386.deb