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 | 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 |
Available diffs
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.