frama-c 20170501+phosphorus+dfsg-2 source package in Ubuntu
Changelog
frama-c (20170501+phosphorus+dfsg-2) unstable; urgency=medium
* Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
* Add zsh completion file from upstream's repository
- add 0010-Add-zsh-completion-file.patch
* Better dynlink detection in configure script (Closes: #871912)
- add 0009-Better-handling-of-dynlink-detection.patch
* Fix install target in Makefile to avoid trying to install native
objects on bytecode architectures
* Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri
John Ledkov for the patch.
-- Mehdi Dogguy <email address hidden> Sun, 10 Sep 2017 13:52:22 +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_20170501+phosphorus+dfsg-2.dsc | 2.4 KiB | 8479fa269692570475f8e62596bb18f8efd41c59751db5bd55d48dae827399df |
| frama-c_20170501+phosphorus+dfsg.orig.tar.gz | 7.1 MiB | 21eaa52b6163cdae92475d803ae165d4bea231ec9d71a37fcc2981a110453733 |
| frama-c_20170501+phosphorus+dfsg-2.debian.tar.xz | 29.0 KiB | 4683d4a3a64527bb79d3e76b0347b576578ce581a2e69d0141e598b3b60b3c3f |
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: debug symbols for frama-c-base
- frama-c-dbgsym: No summary available for frama-c-dbgsym in ubuntu artful.
No description available for frama-c-dbgsym in ubuntu artful.
