-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 13 Dec 2016 00:32:12 +0100 Source: frama-c Binary: frama-c frama-c-base Architecture: source amd64 Version: 20161101+silicon+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 - Platform dedicated to the analysis of source code written in C frama-c-base - Platform dedicated to the analysis of source code written in C (w Changes: frama-c (20161101+silicon+dfsg-1) unstable; urgency=medium . * New upstream release * Refresh patches - Drop patch 0004-Don-t-fail-during-the-configure-on-bytecode-architec.patch (not needed anymore) - Add patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch * Add libapron-ocaml-dev to Build-Depends * Do not recommend why and libwhy-coq which are not part of Stretch * Install plugins/top in frama-c-base * Enhance package description * Remove obsolete Breaks/Replaces statements * Use canonical and secure URIs for Vcs-{Browser,Git} fields * Bump Standards-Version to 3.9.8, no changes required * Bump DH compat to 9 Checksums-Sha1: 3ed3ed36de5045adc6604762e5906f6929699758 2432 frama-c_20161101+silicon+dfsg-1.dsc 8121546318fea4dc63671d419a3b1f9d1ef7fd4f 6679897 frama-c_20161101+silicon+dfsg.orig.tar.gz 49959def6124fed8422f2797713d772e52fcc76d 25920 frama-c_20161101+silicon+dfsg-1.debian.tar.xz 9004537df3dad1e0a68576b354cf6e07af19fcbe 1023170 frama-c-base-dbgsym_20161101+silicon+dfsg-1_amd64.deb afbe4611d437f9efe40ef130cc1b8afd1bbedde7 19843862 frama-c-base_20161101+silicon+dfsg-1_amd64.deb 54338afc0a9ffc7517cc2e34b8ff2a7e3ee1a480 1087180 frama-c-dbgsym_20161101+silicon+dfsg-1_amd64.deb db0c4917c455ca10aa6812d7ca94b739b62bcb86 15084 frama-c_20161101+silicon+dfsg-1_amd64.buildinfo 3fd374b2945616adbbd31c6d792a2248a6454efc 10505612 frama-c_20161101+silicon+dfsg-1_amd64.deb Checksums-Sha256: 3ed485aa845b6d2b5ea60f5d00edcb015b67d389ac906ae928d81e130f8b6b59 2432 frama-c_20161101+silicon+dfsg-1.dsc 4a6c53b4d1d5b9825fffece7696a6fa9396508524693a556a662d47d8ef62f19 6679897 frama-c_20161101+silicon+dfsg.orig.tar.gz 41881795e8f7b134248f010ce4851529774cc11a11e149f3b0e8924f1e6a5732 25920 frama-c_20161101+silicon+dfsg-1.debian.tar.xz c30262275afc6c450aac42dc7fb688b31490035100d15e05a30c95a7d4afeb55 1023170 frama-c-base-dbgsym_20161101+silicon+dfsg-1_amd64.deb 0379088eb4f42267d42cea8722e42b13f4bfcdb6c752112f85f10f0d1dc50ccd 19843862 frama-c-base_20161101+silicon+dfsg-1_amd64.deb 4a02b6bd0ea8838449ca50b2b4842de8c26d0e5f85b18de22fbaa8d347ba738c 1087180 frama-c-dbgsym_20161101+silicon+dfsg-1_amd64.deb eab56d1a3c4ba252ed6b3c450052b9b03fc1b3fbc257292ebaec097d543de84f 15084 frama-c_20161101+silicon+dfsg-1_amd64.buildinfo d6288277d4b2ba93c26cbdf2b16b8d9e7e6105a02f77a8dd391a1bc722e66b2b 10505612 frama-c_20161101+silicon+dfsg-1_amd64.deb Files: 292063b8c02bd702569476a43d43e494 2432 devel optional frama-c_20161101+silicon+dfsg-1.dsc 4ef49bbcdf9c35b5796e7c29383861b2 6679897 devel optional frama-c_20161101+silicon+dfsg.orig.tar.gz d69a9af2ff23f50d08888de42531d910 25920 devel optional frama-c_20161101+silicon+dfsg-1.debian.tar.xz 09ed57781b4a4713fe53af33f779a389 1023170 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-1_amd64.deb 0151b8dcef49340361da6fe53c276f7c 19843862 devel optional frama-c-base_20161101+silicon+dfsg-1_amd64.deb 3bf97b1e28205be681349864e9a6c344 1087180 debug extra frama-c-dbgsym_20161101+silicon+dfsg-1_amd64.deb f7fa45ec2789cad1f7d877f37767addc 15084 devel optional frama-c_20161101+silicon+dfsg-1_amd64.buildinfo 3795d0fbe2ac505489e7f4322cc41eca 10505612 devel optional frama-c_20161101+silicon+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlhaVgcRHG1laGRpQGRl Ymlhbi5vcmcACgkQM74aCowu2P/5Uw/8C0Rci3p4tn2X+0SwQEp4N1sajT2xlbwx mz74snjB+WwEuSfBwWQyg9l6U+Wv0IhACqe2Ng9Iai2aRoQH/qcKuNYzrWTnLz3Z g1uN5vCU4mEH7+kShUMQ7f/Btj9RfhniMODndbXx3XWDbKW9kOZmQVdQYwQLfk+d 6Cgd9XtX4bp7NjZjptU0KgXlhOUpE9lBvLCv14KS2ekwXy/WgsKENcLnZ78HVCw2 RjKrm/eEnsISEqX+A5IrzG9MifOq/OOo0iTdB6qwt23LjQmV6MatfgmfamSzbDUd upfJOf7jTB/6LMvDRLquM2IC8ewmRp/62ZJvUosIId3XKvZ3JRtvMM+bBqdC6syN sJ3a4TmNMOBGBPuInCoMzI0MT2qJxZ8a97G9sWEF4XYk7tLvsz6013LOq51ZbQuw UVJgLccdGt9DqWQgNf+HtHpALK+p3NY2wdxU3WLXvbqnJrjKR5dFecvy95AeDykn a6sX0MR11aEUHVJlxdVFwhTqrzUjynMJMo81wwfgt7KCAg3uRvule18roP5EuAVT fUiXKjJTJ/i1awgdS+Am/kooemzFufovu/RKDpPjk399OgbDyA474bLiGOUwA673 I6+uJ0IIm0UluhjhTIeouQdlcQiacCJ5XscT0Dzf/wkfzDehUwWn1nHCXngwHcka 647vNFxutBQ= =fCSV -----END PGP SIGNATURE-----