Format: 1.8
Date: Mon, 23 Dec 2013 22:01:50 +0000
Source: frama-c
Binary: frama-c frama-c-base
Architecture: amd64
Version: 20130601+fluorine3+dfsg-2build1
Distribution: trusty-proposed
Urgency: medium
Maintainer: Ubuntu/amd64 Build Daemon <buildd@toyol.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
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 (20130601+fluorine3+dfsg-2build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 ebc2cdd09c8eaa32fc967531c2d7b64cb74d3e9e 3512708 frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb
 1c1be5df4ebcf470597b321de583848842f4d770 21587468 frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb
Checksums-Sha256: 
 7293de752409c2034a38d2958b6a15e9115708f07569cc754714c52804dc75b2 3512708 frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb
 a2e1b54b54105ccc1c163f799b5b12dde430a787878f371e728b0e9038d9c141 21587468 frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb
Files: 
 bd05bdf7d1c52a203db7018785f6a7b8 3512708 devel optional frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb
 38fc6a30a3e351cc7d16cdb5b611842d 21587468 devel optional frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb