-----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-----