frama-c 20201209+titanium-4.1 source package in Ubuntu
Changelog
frama-c (20201209+titanium-4.1) unstable; urgency=medium * Non-maintainer upload * Fix new eva test dependencies and return in case of error (Closes: #982148) -- Gianfranco Costamagna <email address hidden> Thu, 11 Feb 2021 23:09:31 +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-4.1.dsc | 2.3 KiB | d88bc2e3fbecb8b5495fa8ddb3eb9b8233bc99c3a7d700e7d463ffe4d22f1504 |
frama-c_20201209+titanium.orig.tar.gz | 6.0 MiB | 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 |
frama-c_20201209+titanium-4.1.debian.tar.xz | 15.8 KiB | c5c26956905f2c7f1d30158cabc7961e0ed3e19fe8789221f45612df63e7725c |
Available diffs
No changes file available.
Binary packages built by this source
- frama-c-base: No summary available for frama-c-base in ubuntu jammy.
No description available for frama-c-base in ubuntu jammy.
- frama-c-base-dbgsym: No summary available for frama-c-base-dbgsym in ubuntu impish.
No description available for frama-c-base-dbgsym in ubuntu impish.