Publishing details

Removed from disk on 2018-01-22.
Removal requested on 2015-09-08.
Deleted on 2015-09-08 by Ubuntu Archive Robot
moved to release
Published on 2015-09-02
Copied from debian sid in Primary Archive for Debian GNU/Linux by Matthias Klose

Changelog

frama-c (20150201+sodium+dfsg-2) unstable; urgency=medium

  * frama-c package must Breaks/Replaces older frama-c-base package
    (<< 20150201+sodium+dfsg-1~) since files were moved from the
    latter to the former (Closes: #797695).
  * Do not try to install plugins on bytecode architectures since they
    are provided only on native architectures. This is needed to fix
    FTBFS on bytecode architectures.

 -- Mehdi Dogguy <email address hidden>  Tue, 01 Sep 2015 19:34:32 +0000

Available diffs

Builds

Package files

frama-c-base-dbgsym_20150201+sodium+dfsg-2_amd64.ddeb (887.1 KiB)
frama-c-base-dbgsym_20150201+sodium+dfsg-2_armhf.ddeb (889.1 KiB)
frama-c-base-dbgsym_20150201+sodium+dfsg-2_i386.ddeb (827.8 KiB)
frama-c-base_20150201+sodium+dfsg-2_amd64.deb (16.7 MiB)
frama-c-base_20150201+sodium+dfsg-2_arm64.deb (10.9 MiB)
frama-c-base_20150201+sodium+dfsg-2_armhf.deb (17.0 MiB)
frama-c-base_20150201+sodium+dfsg-2_i386.deb (16.3 MiB)
frama-c-base_20150201+sodium+dfsg-2_powerpc.deb (16.1 MiB)
frama-c-base_20150201+sodium+dfsg-2_ppc64el.deb (10.7 MiB)
frama-c-dbgsym_20150201+sodium+dfsg-2_amd64.ddeb (1.0 MiB)
frama-c-dbgsym_20150201+sodium+dfsg-2_armhf.ddeb (1.0 MiB)
frama-c-dbgsym_20150201+sodium+dfsg-2_i386.ddeb (997.8 KiB)
frama-c_20150201+sodium+dfsg-2.debian.tar.xz (22.9 KiB)
frama-c_20150201+sodium+dfsg-2.dsc (2.3 KiB)
frama-c_20150201+sodium+dfsg-2_amd64.deb (6.9 MiB)
frama-c_20150201+sodium+dfsg-2_arm64.deb (1.7 MiB)
frama-c_20150201+sodium+dfsg-2_armhf.deb (6.9 MiB)
frama-c_20150201+sodium+dfsg-2_i386.deb (6.5 MiB)
frama-c_20150201+sodium+dfsg-2_powerpc.deb (6.4 MiB)
frama-c_20150201+sodium+dfsg-2_ppc64el.deb (1.7 MiB)
frama-c_20150201+sodium+dfsg.orig.tar.gz (5.6 MiB)