frama-c 20161101+silicon+dfsg-6 source package in Ubuntu
Changelog
frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium * Team upload * Fix FTBFS with OCaml 4.05.0 (Closes: #843020) -- Stéphane Glondu <email address hidden> Thu, 27 Jul 2017 19:03:40 +0200
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-6.dsc | 2.3 KiB | ffaf3b390f68c97cb2c159dfaef26e4805b932fef2f98706a7f22055ef3645e9 |
frama-c_20161101+silicon+dfsg.orig.tar.gz | 6.4 MiB | 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 |
frama-c_20161101+silicon+dfsg-6.debian.tar.xz | 27.0 KiB | 60eb36cd00aede7a82f17aa8285beb25df89b67bf00ef5ee32f5209a0c90e260 |
Available diffs
No changes file available.
Binary packages built by this source
- frama-c: No summary available for frama-c in ubuntu artful.
No description available for frama-c in ubuntu artful.
- frama-c-base: No summary available for frama-c-base in ubuntu artful.
No description available for frama-c-base in ubuntu artful.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu artful.
No description available for frama-c-base-dbgsym in ubuntu artful.
- frama-c-dbgsym: No summary available for frama-c-dbgsym in ubuntu artful.
No description available for frama-c-dbgsym in ubuntu artful.