Ubuntu
frama-c package

frama-c 20211203-chromium-1 source package in Ubuntu

Changelog

frama-c (20211203-chromium-1) unstable; urgency=medium

  * New upstream release. This release fixes FTBFS with why3 >= 1.4.0
    (closes: #1000491)
    - drop patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar
      which has been applied upstream.
    - refresh remaining patches
  * install: move libeacsl-dlmalloc.a from usr/lib to usr/lib/frama-c/e-acsl
  * d/copyright: remove some file patterns that no longer apply.
  * d/tests/wp: update call to "why3 config"
  * Standards-Version 4.6.0 (no change)

 -- Ralf Treinen <email address hidden>  Tue, 22 Mar 2022 08:02:03 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
frama-c_20211203-chromium-1.dsc 2.3 KiB a019264d6a1a2fac6f2c3ae4fa077b5ec2331825debcf44ff88102d17b12813b
frama-c_20211203-chromium.orig.tar.gz 7.5 MiB f679af29e0169bb55ea9b5823ed61c112be4a003b64ab894c82390d5b37e75e9
frama-c_20211203-chromium-1.debian.tar.xz 15.5 KiB adfdd2c9a896216f34e6392dac0fdd2284cb07439746c64755581989559eb84e

No changes file available.

Binary packages built by this source

frama-c-base: No summary available for frama-c-base in ubuntu kinetic.

No description available for frama-c-base in ubuntu kinetic.

frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu kinetic.

No description available for frama-c-base-dbgsym in ubuntu kinetic.