frama-c 20161101+silicon+dfsg-5build3 source package in Ubuntu
Changelog
frama-c (20161101+silicon+dfsg-5build3) artful; urgency=high * No change rebuild against zarith and caml 4.04. -- Dimitri John Ledkov <email address hidden> Mon, 03 Jul 2017 11:19:49 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| frama-c_20161101+silicon+dfsg.orig.tar.gz | 6.4 MiB | 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 |
| frama-c_20161101+silicon+dfsg-5build3.debian.tar.xz | 26.4 KiB | f7916e0d2b504d0436147b1dc42cc4f6761e731d5213d4ee8df37970e730ca57 |
| frama-c_20161101+silicon+dfsg-5build3.dsc | 2.1 KiB | d7d8a133f3890b269ec217414acb7851ebac3f41e5ea590707f025a695051deb |
Available diffs
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.
