frama-c 20201209+titanium-3 source package in Ubuntu
Changelog
frama-c (20201209+titanium-3) unstable; urgency=medium
* Patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch:
fix FTBFS on bytecode architectures (closes: #979569).
Thanks to André Maroneze for the patch
* Add Recommends libwhy3-ocaml-dev, as it is needed by frama-c to run why3.
* Test wp:
- add test-dependency libwhy3-ocaml-dev
- run why3 config
-- Ralf Treinen <email address hidden> Fri, 08 Jan 2021 21:32: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_20201209+titanium-3.dsc | 2.3 KiB | 72f884ba7dcb8fe28951899f76f015c07c0d826c84fe1149e94eaf3eb8c99911 |
| frama-c_20201209+titanium.orig.tar.gz | 6.0 MiB | 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 |
| frama-c_20201209+titanium-3.debian.tar.xz | 15.6 KiB | cdb46bb4b366829f2083666d12975ec3dfb159139f243a46ac08483f4b244e88 |
Available diffs
No changes file available.
Binary packages built by this source
- frama-c-base: No summary available for frama-c-base in ubuntu hirsute.
No description available for frama-c-base in ubuntu hirsute.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu hirsute.
No description available for frama-c-base-dbgsym in ubuntu hirsute.
