Publishing details

• Created on 2013-12-24 by Ubuntu Archive Auto-Sync
• Published on 2013-12-24

Changelog

frama-c (20130601+fluorine3+dfsg-2build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.
 -- Matthias Klose <email address hidden>   Mon, 23 Dec 2013 22:01:50 +0000

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Built packages

• frama-c Framework for source code analysis of software written in C

• frama-c-base Framework for C source code analysis (without gui)

Package files

• frama-c-base_20130601+fluorine3+dfsg-2build1_amd64.deb (20.6 MiB)
• frama-c-base_20130601+fluorine3+dfsg-2build1_arm64.deb (12.4 MiB)
• frama-c-base_20130601+fluorine3+dfsg-2build1_armhf.deb (20.8 MiB)
• frama-c-base_20130601+fluorine3+dfsg-2build1_i386.deb (20.0 MiB)
• frama-c-base_20130601+fluorine3+dfsg-2build1_powerpc.deb (19.5 MiB)
• frama-c-base_20130601+fluorine3+dfsg-2build1_ppc64el.deb (12.4 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1.debian.tar.gz (25.2 KiB)
• frama-c_20130601+fluorine3+dfsg-2build1.dsc (1.7 KiB)
• frama-c_20130601+fluorine3+dfsg-2build1_amd64.deb (3.3 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1_arm64.deb (1.1 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1_armhf.deb (3.4 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1_i386.deb (3.1 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1_powerpc.deb (3.0 MiB)
• frama-c_20130601+fluorine3+dfsg-2build1_ppc64el.deb (1.1 MiB)
• frama-c_20130601+fluorine3+dfsg.orig.tar.gz (2.5 MiB)