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