Format: 1.8 Date: Mon, 23 Dec 2013 22:01:50 +0000 Source: frama-c Binary: frama-c frama-c-base Architecture: ppc64el Version: 20130601+fluorine3+dfsg-2build1 Distribution: trusty Urgency: medium Maintainer: Ubuntu Build Daemon Changed-By: Matthias Klose 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: a488f0e7dc770253e3dc10b0a5a2e345e43f8283 1117428 frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb 73fbe257b614a0d4f72e5b93c34bcd03a793b3c5 12966592 frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb Checksums-Sha256: f828b076a7edccb8ecd463c1deb2cab72e2a6a5f8b12d2a6ff0eec2573dd5021 1117428 frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb 1a316e43ef29bfe6c630913de2bffe93c4e03aaad8c1733f290a45720472d511 12966592 frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb Files: 764ebbc9315381ebc22de4bd95df621e 1117428 devel optional frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb 33e3d658c0e299de2f2542f3ea38f831 12966592 devel optional frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb