Publishing details

• Removed from disk on 2020-07-13.
• Removal requested on 2020-07-13.
• Published on 2018-05-13
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

frama-c (20171101+sulfur+dfsg-1) unstable; urgency=medium

  * New upstream release
  * Refresh patches and remove the following ones which were applied
    upstream:
    - 0001-Fix-spelling-error-in-binary.patch
    - 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
    - 0008-More-fixes-of-spelling-errors.patch
    - 0009-Better-handling-of-dynlink-detection.patch
    - 0010-Add-zsh-completion-file.patch
    - 0011-Fix-installation-target-on-bytecode-architectures.patch
    - 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
  * Update Vcs-* fields in order to use Salsa repositories
  * Fix installation on bytecode architectures
    - add 0006-Fix-installation-on-bytecode-architectures.patch

 -- Mehdi Dogguy <email address hidden>  Fri, 11 May 2018 17:39:36 +0200

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_amd64.ddeb (1.5 MiB)
• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_arm64.ddeb (1.6 MiB)
• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_armhf.ddeb (1.4 MiB)
• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_i386.ddeb (1.5 MiB)
• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_ppc64el.ddeb (1.2 MiB)
• frama-c-base-dbgsym_20171101+sulfur+dfsg-1_s390x.ddeb (1.2 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_amd64.deb (21.2 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_arm64.deb (23.0 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_armhf.deb (21.2 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_i386.deb (20.4 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_ppc64el.deb (22.0 MiB)
• frama-c-base_20171101+sulfur+dfsg-1_s390x.deb (21.6 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_amd64.ddeb (1.5 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_arm64.ddeb (1.7 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_armhf.ddeb (1.4 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_i386.ddeb (1.5 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_ppc64el.ddeb (1.3 MiB)
• frama-c-dbgsym_20171101+sulfur+dfsg-1_s390x.ddeb (1.2 MiB)
• frama-c_20171101+sulfur+dfsg-1.debian.tar.xz (23.3 KiB)
• frama-c_20171101+sulfur+dfsg-1.dsc (2.3 KiB)
• frama-c_20171101+sulfur+dfsg-1_amd64.deb (11.7 MiB)
• frama-c_20171101+sulfur+dfsg-1_arm64.deb (13.4 MiB)
• frama-c_20171101+sulfur+dfsg-1_armhf.deb (11.4 MiB)
• frama-c_20171101+sulfur+dfsg-1_i386.deb (10.9 MiB)
• frama-c_20171101+sulfur+dfsg-1_ppc64el.deb (12.3 MiB)
• frama-c_20171101+sulfur+dfsg-1_s390x.deb (12.0 MiB)
• frama-c_20171101+sulfur+dfsg.orig.tar.gz (6.8 MiB)