Publishing details

• Removed from disk on 2017-06-03.
• Removal requested on 2017-06-02.
• Deleted on 2017-06-02 by Ubuntu Archive Robot

  moved to release

• Published on 2017-04-21
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Adam Conrad

Changelog

frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium

  * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
    frama-c (Closes: #851104)

 -- Mehdi Dogguy <email address hidden>  Sun, 15 Jan 2017 13:00:55 +0100

Builds

Package files

• frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.ddeb (948.6 KiB)
• frama-c-base-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb (921.2 KiB)
• frama-c-base-dbgsym_20161101+silicon+dfsg-5_armhf.ddeb (993.7 KiB)
• frama-c-base-dbgsym_20161101+silicon+dfsg-5_i386.ddeb (921.4 KiB)
• frama-c-base_20161101+silicon+dfsg-5_amd64.deb (18.9 MiB)
• frama-c-base_20161101+silicon+dfsg-5_arm64.deb (19.0 MiB)
• frama-c-base_20161101+silicon+dfsg-5_armhf.deb (18.9 MiB)
• frama-c-base_20161101+silicon+dfsg-5_i386.deb (18.3 MiB)
• frama-c-base_20161101+silicon+dfsg-5_powerpc.deb (18.2 MiB)
• frama-c-base_20161101+silicon+dfsg-5_ppc64el.deb (7.7 MiB)
• frama-c-base_20161101+silicon+dfsg-5_s390x.deb (7.7 MiB)
• frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.ddeb (1018.9 KiB)
• frama-c-dbgsym_20161101+silicon+dfsg-5_arm64.ddeb (990.1 KiB)
• frama-c-dbgsym_20161101+silicon+dfsg-5_armhf.ddeb (1.0 MiB)
• frama-c-dbgsym_20161101+silicon+dfsg-5_i386.ddeb (980.6 KiB)
• frama-c_20161101+silicon+dfsg-5.debian.tar.xz (26.3 KiB)
• frama-c_20161101+silicon+dfsg-5.dsc (2.4 KiB)
• frama-c_20161101+silicon+dfsg-5_amd64.deb (10.0 MiB)
• frama-c_20161101+silicon+dfsg-5_arm64.deb (9.8 MiB)
• frama-c_20161101+silicon+dfsg-5_armhf.deb (9.7 MiB)
• frama-c_20161101+silicon+dfsg-5_i386.deb (9.3 MiB)
• frama-c_20161101+silicon+dfsg-5_powerpc.deb (9.2 MiB)
• frama-c_20161101+silicon+dfsg-5_ppc64el.deb (2.0 MiB)
• frama-c_20161101+silicon+dfsg-5_s390x.deb (2.0 MiB)
• frama-c_20161101+silicon+dfsg.orig.tar.gz (6.4 MiB)