Bug#797473: marked as done (frama-c: New upstream version)
Your message dated Mon, 31 Aug 2015 21:23:29 +0000
with message-id <E1ZWWY5-0006gW-GI@franck.debian.org>
and subject line Bug#797473: fixed in frama-c 20150201+sodium+dfsg-1
has caused the Debian Bug report #797473,
regarding frama-c: New upstream version
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.)
--
797473: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797473
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: frama-c
Version: 20140301+neon+dfsg-3
Severity: wishlist
Hi,
It seems there is a new upstream version. Could you upload it?
Kurt
--- End Message ---
--- Begin Message ---
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 797473@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 ---
Reply to: