Your message dated Mon, 31 Aug 2015 21:23:29 +0000 with message-id <E1ZWWY5-0006gQ-FC@franck.debian.org> and subject line Bug#792612: fixed in frama-c 20150201+sodium+dfsg-1 has caused the Debian Bug report #792612, regarding frama-c: please provide package w/o gui & gui dependencies 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.) -- 792612: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=792612 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: frama-c: please provide package w/o gui & gui dependencies
- From: "frama-c-bug@discard.email" <frama-c-bug@discard.email>
- Date: Thu, 16 Jul 2015 19:51:07 +0200
- Message-id: <190ef2ca38ca01f872cb6b022bedddec@discard.email>
- Reply-to: frama-c-bug@discard.email
Source: frama-c
Version: 20140301+neon+dfsg-3
Severity: wishlist
According to the INSTALL document in the frama-c source distribution,
the GTK GUI and the associated dependencies are optional.
However, in Debian both the frama-c and the frama-c-base package
depend on the liblablgtk* packages.
Please provide a version of the frama-c package without the GTK GUI,
and without its associated dependencies.
--- End Message ---
--- Begin Message ---
- To: 792612-close@bugs.debian.org
- Subject: Bug#792612: fixed in frama-c 20150201+sodium+dfsg-1
- From: Mehdi Dogguy <mehdi@debian.org>
- Date: Mon, 31 Aug 2015 21:23:29 +0000
- Message-id: <E1ZWWY5-0006gQ-FC@franck.debian.org>
Source: frama-c Source-Version: 20150201+sodium+dfsg-1 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 792612@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Mehdi Dogguy <mehdi@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: SHA256 Format: 1.8 Date: Mon, 31 Aug 2015 22:18:00 +0000 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20150201+sodium+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <mehdi@debian.org> Description: frama-c - Framework for source code analysis of software written in C frama-c-base - Framework for C source code analysis (without gui) Closes: 792612 797473 Changes: frama-c (20150201+sodium+dfsg-1) unstable; urgency=medium . * New upstream release (Closes: #797473). - Refrech patches. - Drop 0004-Port-to-OCamlgraph-1.8.5.patch: Integrated upstream. * Bump Standards-Version to 3.9.6, no changes needed. * Disable DH_VERBOSE in d/rules. * Install GUI plugins and modules using GTK2 in frama-c package only (Closes: #792612). Checksums-Sha1: 756ec0adbdd29ca7349686d3aa70eae056cb67ef 2313 frama-c_20150201+sodium+dfsg-1.dsc c6df554a8658a6cebc7d77906066cdf9ffcd1bfd 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz ae2f3d3c1299bf20beb8ce50c377964c4acaf272 23288 frama-c_20150201+sodium+dfsg-1.debian.tar.xz 7ef465aecca5ed8963c7516505894fd54a3170e1 17671282 frama-c-base_20150201+sodium+dfsg-1_amd64.deb 6d9db5aa62c219748538cbed507cce5c4a3ab632 7283602 frama-c_20150201+sodium+dfsg-1_amd64.deb Checksums-Sha256: b7018a9bb59ba216b6c1fbfddd2c08fa8ff5e4cf889f26534e6088853f325edd 2313 frama-c_20150201+sodium+dfsg-1.dsc 59e800f8d773d3774ea14c1fe650e502212d61621f578e8bf2e8070f1d5bd5f4 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz e83408f74ce0eebf112d5a5c1d63e4c53826c4630e1b641a9a7ff9896f2054e6 23288 frama-c_20150201+sodium+dfsg-1.debian.tar.xz dcd80a0bad1293ec79d8aede6dbdaecbdaecbefdcf756a36d91133eb7be14ef1 17671282 frama-c-base_20150201+sodium+dfsg-1_amd64.deb b8241f684966659f61ad3b38538ca49b57f222862b358a320e27d803a96f0e19 7283602 frama-c_20150201+sodium+dfsg-1_amd64.deb Files: aebbcbefde4f91420c21ae955d3a21bf 2313 devel optional frama-c_20150201+sodium+dfsg-1.dsc 32e985f5c84689555b4a31f825506598 5879867 devel optional frama-c_20150201+sodium+dfsg.orig.tar.gz 4c0a8016ef04fa181f8f6411b0009be9 23288 devel optional frama-c_20150201+sodium+dfsg-1.debian.tar.xz 1b2e7e41af630a65a2997166d76d0f3c 17671282 devel optional frama-c-base_20150201+sodium+dfsg-1_amd64.deb e0fbaf3977f198bd3166bf5f6707dfed 7283602 devel optional frama-c_20150201+sodium+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJV5NUYAAoJEDO+GgqMLtj/QE8P/3AyWJvMeNEhPobmpWO/kGV9 QC8CwmPT2dIKS2BJeKCWfL3de6jZVZsTiWeJsTfFMHwEXQHENorn+zC/MxmiBtEM BBXG+Kxdxcp6gj1gs3WJps4Lpk/zptdkMD8RRXOD8msWxxqSlTF4YHcB4IPr3AhW QT9JCGH9IuO5a/Gg4NPhtHyD4ssdHAL8qjZCk0QcFEo7Nm0tZS0Y6dZtTWMOEySA JCO4Sx8fU2+ThEPA+hJ2Ac6OBu0efZ1r6bp5bg7r1G8HXXfzwLx4/94F5oNU7pCo xB4dha7QxY/i+ln8IfkgHZzwwcTX5odC2rgiKzyz7407ThPiKjwb4CDqVXx/AAJ2 0Cm6G4jf+23vdaiSLRaW4dnH602EwO1IlA4+jwgYKJb2HnL6wpZ6hfC53FCAXRwQ tjhr579EDm7bFDL9A07Q9L7yqQCnZmcXrwaq8Kbl9UpfDEVkGjfY8n0qfvzz2ytA bqaFb6OmtseX2g4w+8fkO1+EzZKvMWnvraD9ixZocovkQa75QnxcMyU+kjjhBVir PS5qdfpahdwoE5sZUkzRJS450mjQupbMeb0KukTMOIgIf6zYMGhoMg3F7QPPH1VS iUmG47AOf/8j902/07lFXAhsJ3qL9zDXgMKGyCdapqNy5iBejNurs6Hel9JjBlVw GTsd2cILN5iePvsI4Aae =d65L -----END PGP SIGNATURE-----
--- End Message ---