Format: 1.8
Date: Wed, 02 Dec 2009 00:08:35 +0100
Source: frama-c
Binary: frama-c
Architecture: amd64
Version: 20090901+beryllium+dfsg-2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@yellow.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: 
 1bb50d9e69b58f9d7cbdd1257d5118455e4b0c61 17197014 frama-c_20090901+beryllium+dfsg-2_amd64.deb
Checksums-Sha256: 
 5022ea3cdec36b1e1c4373cf459a45f067dc066165b16ca18a72593b7f42cdd2 17197014 frama-c_20090901+beryllium+dfsg-2_amd64.deb
Files: 
 9b06534df060be386616f416cd5874c7 17197014 math extra frama-c_20090901+beryllium+dfsg-2_amd64.deb