frama-c 20171101+sulfur+dfsg-1 source package in Ubuntu
Changelog
frama-c (20171101+sulfur+dfsg-1) unstable; urgency=medium
* New upstream release
* Refresh patches and remove the following ones which were applied
upstream:
- 0001-Fix-spelling-error-in-binary.patch
- 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
- 0008-More-fixes-of-spelling-errors.patch
- 0009-Better-handling-of-dynlink-detection.patch
- 0010-Add-zsh-completion-file.patch
- 0011-Fix-installation-target-on-bytecode-architectures.patch
- 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
* Update Vcs-* fields in order to use Salsa repositories
* Fix installation on bytecode architectures
- add 0006-Fix-installation-on-bytecode-architectures.patch
-- Mehdi Dogguy <email address hidden> Fri, 11 May 2018 17:39:36 +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_20171101+sulfur+dfsg-1.dsc | 2.3 KiB | 21ad8def7bd32e1653c8f4bfb460ef5e244e6a53d112d09a4cea92d554cf2c2f |
| frama-c_20171101+sulfur+dfsg.orig.tar.gz | 6.8 MiB | 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 |
| frama-c_20171101+sulfur+dfsg-1.debian.tar.xz | 23.3 KiB | dbe7886962b132c0f74c927b4bc6b4881ea0efad1a9a3070e1bbf73ae4831ff0 |
Available diffs
No changes file available.
Binary packages built by this source
- frama-c: No summary available for frama-c in ubuntu cosmic.
No description available for frama-c in ubuntu cosmic.
- frama-c-base: No summary available for frama-c-base in ubuntu disco.
No description available for frama-c-base in ubuntu disco.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu disco.
No description available for frama-c-base-dbgsym in ubuntu disco.
- frama-c-dbgsym: No summary available for frama-c-dbgsym in ubuntu cosmic.
No description available for frama-c-dbgsym in ubuntu cosmic.
