frama-c 20161101+silicon+dfsg-2 source package in Ubuntu
Changelog
frama-c (20161101+silicon+dfsg-2) unstable; urgency=medium
* Disable apron
* Add ocaml-findlib as a dependency for frama-c-base
* Fix build on bytecode architectures
- add patch debian/patches/0005-Add-a-section-for-LoopAnalysis-plugin.patch
- add patch debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
-- Mehdi Dogguy <email address hidden> Wed, 21 Dec 2016 14:17:38 +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-2.dsc | 2.4 KiB | 1324762d09cc8d2f66164dc4f921891ebc63c4a0c8adf920711e2ee07e78b44c |
| frama-c_20161101+silicon+dfsg.orig.tar.gz | 6.4 MiB | 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 |
| frama-c_20161101+silicon+dfsg-2.debian.tar.xz | 26.0 KiB | 329864b022eac1a4bc372c366462f14ae231b176372578e13f55a3b32e4a12ee |
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.
