Ubuntu
frama-c package

frama-c 20161101+silicon+dfsg-3 source package in Ubuntu

Changelog

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

  * Fix typo in Vcs-Browser field
  * Install frama-c-config utility in frama-c-base
  * Clean up content of filtered files from debian/gbp.conf
  * Avoid double linking of LoopAnalysis.cmo
  * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency
    on libfindlib-ocaml which is enough.
  * Re-enable Impact plugin by dropping --disable-impact flag for configure
    script. The plugin used to be non open-source, which is not the case
    anymore.
  * Drop configure flag --disable-security as it became useless.
  * configure script is now able to find zarith correctly. The use of
    --enable-zarith=<path> is not needed anymore. Thus, dropping it.

 -- Mehdi Dogguy <email address hidden>  Sun, 01 Jan 2017 00:37:33 +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_20161101+silicon+dfsg-3.dsc 2.4 KiB 73ff7372681f1cf33c4567fc3c536d1de306e9ff4ff34c5ec17f4196004ec438
frama-c_20161101+silicon+dfsg.orig.tar.gz 6.4 MiB 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19
frama-c_20161101+silicon+dfsg-3.debian.tar.xz 26.2 KiB e627676cb55f8bcc3a5b6a0da1a41c77afb750312eddd7f3a485cd2a838d9ff5

No changes file available.

Binary packages built by this source

frama-c: No summary available for frama-c in ubuntu zesty.

No description available for frama-c in ubuntu zesty.

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

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

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

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

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

No description available for frama-c-dbgsym in ubuntu zesty.