Format: 1.8
Date: Fri, 06 Jan 2012 09:30:44 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: armel
Version: 20111001+nitrogen+dfsg-3
Distribution: precise
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@kaylaberry.buildd>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
 frama-c-base - Framework for C source code analysis (without gui)
Changes: 
 frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low
 .
   * Include patchlevel2 for Nitrogen 20111001.
     - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch
Checksums-Sha1: 
 3124c88eabe67ade66aaefb0c6d81aec2aaad93f 3384040 frama-c_20111001+nitrogen+dfsg-3_armel.deb
 09f034c788c2b982ceee8f80673fb1dfc95882ef 25966936 frama-c-base_20111001+nitrogen+dfsg-3_armel.deb
Checksums-Sha256: 
 c517402c72e6dc16326cccf2e36ff66086a90c5934f0285d752f699184dcfa45 3384040 frama-c_20111001+nitrogen+dfsg-3_armel.deb
 9d975ed11480fb8cf23a42a9299407c003cd9b9206f8076f16d8ed6e506a7357 25966936 frama-c-base_20111001+nitrogen+dfsg-3_armel.deb
Files: 
 6d036202c7512373f1b72fd41826e434 3384040 devel optional frama-c_20111001+nitrogen+dfsg-3_armel.deb
 b488117e5e120764a816ff569f116f8d 25966936 devel optional frama-c-base_20111001+nitrogen+dfsg-3_armel.deb