Ubuntu
frama-c package

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 Pocket 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

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.