Publishing details

• Removed from disk on 2015-05-01.
• Removal requested on 2015-04-24.
• Published on 2012-05-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Colin Watson)

Changelog

frama-c (20111001+nitrogen+dfsg-4) unstable; urgency=low


  * Port to OCamlgraph 1.8.2
    - add 0007-Port-to-OCamlgraph-1.8.2.patch
  * Bump Standards-Version to 3.9.3, no changes needed

 -- Mehdi Dogguy <email address hidden>  Wed, 16 May 2012 14:58:29 +0200

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Package files

• frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb (27.8 MiB)
• frama-c-base_20111001+nitrogen+dfsg-4_arm64.deb (18.1 MiB)
• frama-c-base_20111001+nitrogen+dfsg-4_armel.deb (24.8 MiB)
• frama-c-base_20111001+nitrogen+dfsg-4_armhf.deb (24.7 MiB)
• frama-c-base_20111001+nitrogen+dfsg-4_i386.deb (27.4 MiB)
• frama-c-base_20111001+nitrogen+dfsg-4_powerpc.deb (29.2 MiB)
• frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz (29.0 KiB)
• frama-c_20111001+nitrogen+dfsg-4.dsc (1.9 KiB)
• frama-c_20111001+nitrogen+dfsg-4_amd64.deb (3.4 MiB)
• frama-c_20111001+nitrogen+dfsg-4_arm64.deb (1.4 MiB)
• frama-c_20111001+nitrogen+dfsg-4_armel.deb (3.2 MiB)
• frama-c_20111001+nitrogen+dfsg-4_armhf.deb (3.2 MiB)
• frama-c_20111001+nitrogen+dfsg-4_i386.deb (3.0 MiB)
• frama-c_20111001+nitrogen+dfsg-4_powerpc.deb (3.6 MiB)
• frama-c_20111001+nitrogen+dfsg.orig.tar.gz (2.6 MiB)