[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#911159: marked as done (please stop building the frama-c GUI)



Your message dated Mon, 12 Nov 2018 12:20:10 +0000
with message-id <E1gMBCM-000FlY-L0@fasolo.debian.org>
and subject line Bug#911159: fixed in frama-c 20171101+sulfur+dfsg-2
has caused the Debian Bug report #911159,
regarding please stop building the frama-c GUI
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
911159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:frama-c
Version: 20171101+sulfur+dfsg-1
Tags: sid buster
Severity: serious

Bug #885677 filed for lablgtk2 asks for the removal of that package.  To prevent
removing frama-c from the distro, please consider just building the base
package, dropping the GUI package.   Asking because creduce would be removed
otherwise as well.

--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20171101+sulfur+dfsg-2

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 911159@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated frama-c package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 12 Nov 2018 11:44:42 +0100
Source: frama-c
Binary: frama-c-base
Architecture: source amd64
Version: 20171101+sulfur+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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:
 975338f2a4bfeb8de7bfd838984d298de0cb2ed3 1832 frama-c_20171101+sulfur+dfsg-2.dsc
 61df4f8ca0e81f092970b4e3fef31e7add2ceb83 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
 67ab0e488cfa74fa5ac8ef3d9b0c4587274eaf24 1567772 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
 d4b3fc33eae27b3aecade1b844e40fc9f0895d91 22300664 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 f4718676bd2b9b1a154d73e6a52b1410e8e2fc58 7890 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Checksums-Sha256:
 795cc581ce043e9acc473a0e46eef83a7f243080c3c48eed94e91ff09a27f981 1832 frama-c_20171101+sulfur+dfsg-2.dsc
 98cb5671c9876d8294de772b68f75bda5673c3d86217759dd2b04ab893994b03 23364 frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
 446f1a84059f8a686ee9a118bd84c1471ff031732ac19460384e2ecf3f0e629c 1567772 frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
 504f6b6598a1968d38910931cda49e06b72cf8cd016a96c9a5426070848f5fb4 22300664 frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 ff81c67fc93547849fa99902433b5afada1b26fed6a4eae96c710ca2cf21c0b8 7890 frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo
Files:
 d7affb29670b7c5a6ad30ff16408f35d 1832 devel optional frama-c_20171101+sulfur+dfsg-2.dsc
 17edfcf413f817c703503d99a57be3a6 23364 devel optional frama-c_20171101+sulfur+dfsg-2.debian.tar.xz
 8e4f0073fd3b8f340093142f016f24c6 1567772 debug optional frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb
 88342618cb10967c65827d24e2e91071 22300664 devel optional frama-c-base_20171101+sulfur+dfsg-2_amd64.deb
 5f1a5a65338e05fc951a5fa39d29da25 7890 devel optional frama-c_20171101+sulfur+dfsg-2_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlvpaPsACgkQIbju8bGJ
MIE9zwf+NA9jIu7djitoYtUWExw+K/pK5NW567B4BqLm5YriCThPBTgboZpwIQlH
9HJANex0paBZachyuhecsLnnyLyUOXPFQ8U2j0U9206VvnlzObyOf+u3oZT1PGIA
ml5zxYMBYetRtOn5epzIxTDTeqEeY6Ae0bTuuJeRK9L1BkBl4MACVtuAe6yTgjCt
DlzIJcx4PGvpEmnbATNHSdJf+NOMzOx87Z/51q2tyu46ZWDw72Ih8QfVZvWWQMx6
4wO40e87FcnUKPY2oN5mid7ivLSxUMvw1yMOtPKbVRltArD4IRbica/Gc/70Ymf6
qn3CzplQnSxM0WrQ3bNQ/I6DNusIKw==
=f8vV
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: