Publishing details

• Published on 2020-04-01
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

frama-c (20191204+calcium-0.1) unstable; urgency=medium

  [ Dimitri John Ledkov ]
  * New upstream release (Closes: #944365)
  * Add dependencies on libyojson-ocaml-dev and libwhy3-ocaml-dev
  * Refresh patches
  * Drop patches now upstream:
    - 0006-Fix-installation-on-bytecode-architectures.patch
    - 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
  [ Gianfranco Costamagna ]
  * Drop debian/README.Debian. We don't need to repack anymore the sources,
    because embedded libraries have been removed upstream

 -- Gianfranco Costamagna <email address hidden>  Fri, 20 Mar 2020 19:14:20 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• frama-c-base Platform dedicated to the analysis of source code written in C (without gui)

• frama-c-base-dbgsym debug symbols for frama-c-base

Package files

• frama-c-base-dbgsym_20191204+calcium-0.1_amd64.ddeb (1.9 MiB)
• frama-c-base-dbgsym_20191204+calcium-0.1_arm64.ddeb (1.9 MiB)
• frama-c-base-dbgsym_20191204+calcium-0.1_armhf.ddeb (1.6 MiB)
• frama-c-base-dbgsym_20191204+calcium-0.1_ppc64el.ddeb (1.5 MiB)
• frama-c-base-dbgsym_20191204+calcium-0.1_riscv64.ddeb (20.3 KiB)
• frama-c-base-dbgsym_20191204+calcium-0.1_s390x.ddeb (1.5 MiB)
• frama-c-base_20191204+calcium-0.1_amd64.deb (33.9 MiB)
• frama-c-base_20191204+calcium-0.1_arm64.deb (36.2 MiB)
• frama-c-base_20191204+calcium-0.1_armhf.deb (34.1 MiB)
• frama-c-base_20191204+calcium-0.1_ppc64el.deb (35.2 MiB)
• frama-c-base_20191204+calcium-0.1_riscv64.deb (22.3 MiB)
• frama-c-base_20191204+calcium-0.1_s390x.deb (34.5 MiB)
• frama-c_20191204+calcium-0.1.debian.tar.xz (21.9 KiB)
• frama-c_20191204+calcium-0.1.dsc (2.1 KiB)
• frama-c_20191204+calcium.orig.tar.gz (5.5 MiB)