frama-c 20170501+phosphorus+dfsg-1ubuntu1 source package in Ubuntu
Changelog
frama-c (20170501+phosphorus+dfsg-1ubuntu1) artful; urgency=medium * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out with -C on i386. LP: #1714514 -- Dimitri John Ledkov <email address hidden> Thu, 31 Aug 2017 23:47:37 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
frama-c_20170501+phosphorus+dfsg.orig.tar.gz | 7.1 MiB | 21eaa52b6163cdae92475d803ae165d4bea231ec9d71a37fcc2981a110453733 |
frama-c_20170501+phosphorus+dfsg-1ubuntu1.debian.tar.xz | 25.1 KiB | 074ff1bf87b0ba14496c1d355e9431bb13f336fcb06fbf3e587c1266ba44a627 |
frama-c_20170501+phosphorus+dfsg-1ubuntu1.dsc | 2.1 KiB | 08438901ab91c92f71fa96158d7faa4796c9a2bb58c6592ba7a158cfee7b9105 |
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.