frama-c 20201209+titanium-4ubuntu1 source package in Ubuntu
Changelog
frama-c (20201209+titanium-4ubuntu1) hirsute; urgency=medium
* 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:
- Gianfranco Costamagna
- Uploaded to:
- Hirsute
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| frama-c_20201209+titanium.orig.tar.gz | 6.0 MiB | 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2 |
| frama-c_20201209+titanium-4ubuntu1.debian.tar.xz | 15.8 KiB | dbd477ff3bc20f4fe136c3591bc10afeb4636a33a555048f3b4f9b68abac9c21 |
| frama-c_20201209+titanium-4ubuntu1.dsc | 2.3 KiB | d1431cd21271d1e4971626915d125e90da5bdc19982b5cb0b6b215b982cca988 |
Available diffs
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.
