frama-c 20161101+silicon+dfsg-5 source package in Ubuntu
Changelog
frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104) -- Mehdi Dogguy <email address hidden> Sun, 15 Jan 2017 13:00:55 +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-5.dsc | 2.4 KiB | 76a43db7b5d907008601a47f1b3768e102e74b388b2aa7312eb03b3f649210f6 |
frama-c_20161101+silicon+dfsg.orig.tar.gz | 6.4 MiB | 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 |
frama-c_20161101+silicon+dfsg-5.debian.tar.xz | 26.3 KiB | ce26cb525e28f9de9fc47a3654c2b22e7e0d32898dd636c3d5ee7f03a5729ca2 |
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 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.