Format: 1.8
Date: Mon, 12 Nov 2018 11:44:42 +0100
Source: frama-c
Binary: frama-c-base
Architecture: amd64
Version: 20171101+sulfur+dfsg-2
Distribution: disco-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-021.buildd>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 frama-c-base - Platform dedicated to the analysis of source code written in C (w
Closes: 911159
Changes:
 frama-c (20171101+sulfur+dfsg-2) unstable; urgency=medium
 .
   * Team upload
   * Stop building the GUI, drop frama-c binary package (Closes: #911159)
Checksums-Sha1:
 55b73ec06e663b348683bba14430736b0bbbaa18 1567272 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.ddeb
 8915068225b20f396c5d389ae727c489de098ff8 22185952 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 2024aca7211a6e8b1f08a520664efb566a428c59 7138 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Checksums-Sha256:
 655390e9a1b271cd20094d1b92044673e2c3378686e8656a92dfde81d13b3e20 1567272 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.ddeb
 770dbdf4f4fe6f29fdb43cd4b480e81a2a59c7cd21b44ef387b90d1c8fa5db7a 22185952 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 88d6cb8060af061c7ae00d1fab2ba83ef58bddc069f8144256d783d4bba857bf 7138 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Files:
 a8a4febad26b14673d5f617dd6cc51d4 1567272 debug optional frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.ddeb
 16a0fafa72224aeaa864ab130db4b868 22185952 devel optional frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 4fecfbe6bab5488b100e7d75a4633085 7138 devel optional frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo