Accepted frama-c 20150201+sodium+dfsg-1 (source amd64) into unstable
-----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-----