Format: 1.8
Date: Tue, 29 Apr 2014 19:16:49 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: amd64
Version: 20140301+neon+dfsg-3
Distribution: utopic-proposed
Urgency: medium
Maintainer: Ubuntu/amd64 Build Daemon <buildd@toyol.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 (20140301+neon+dfsg-3) unstable; urgency=medium
 .
   * Add a call to autoconf prior to configure.
Checksums-Sha1: 
 0f65cddec93f061c7ea65eb8148c86e12d0d84b3 3607186 frama-c_20140301+neon+dfsg-3_amd64.deb
 f7d4d890e697697487f42090fc7b13f8025ccaa6 21176970 frama-c-base_20140301+neon+dfsg-3_amd64.deb
Checksums-Sha256: 
 cf18f6b16881b45f0015f0c7378afa1c814cef605ed88a3e6ca82d7aa077c9de 3607186 frama-c_20140301+neon+dfsg-3_amd64.deb
 2b8407fcdef590cfa37e6e1279d6f35d948b0d8c1749b735413252ba2951ff08 21176970 frama-c-base_20140301+neon+dfsg-3_amd64.deb
Files: 
 325a19857c52dbe467bd8bbca84b961d 3607186 devel optional frama-c_20140301+neon+dfsg-3_amd64.deb
 9c42ac1fd029d9c91537d0a05f23579a 21176970 devel optional frama-c-base_20140301+neon+dfsg-3_amd64.deb