frama-c 20171101+sulfur+dfsg-2 source package in Ubuntu
Changelog
frama-c (20171101+sulfur+dfsg-2) unstable; urgency=medium * Team upload * Stop building the GUI, drop frama-c binary package (Closes: #911159) -- Stéphane Glondu <email address hidden> Mon, 12 Nov 2018 11:44:42 +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_20171101+sulfur+dfsg-2.dsc | 1.8 KiB | 795cc581ce043e9acc473a0e46eef83a7f243080c3c48eed94e91ff09a27f981 |
frama-c_20171101+sulfur+dfsg.orig.tar.gz | 6.8 MiB | 8535fc12dbef6d92e843bd4cab715f8fa9b423546db992a182e0be7970b57b04 |
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz | 22.8 KiB | 98cb5671c9876d8294de772b68f75bda5673c3d86217759dd2b04ab893994b03 |
Available diffs
No changes file available.
Binary packages built by this source
- 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.