Accepted frama-c 20161101+silicon+dfsg-6 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Jul 2017 19:03:40 +0200
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+dfsg-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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
Closes: 843020
Changes:
frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium
.
* Team upload
* Fix FTBFS with OCaml 4.05.0 (Closes: #843020)
Checksums-Sha1:
01c57b0e6d1201fa162f6d7b203ae54cbba7c679 2383 frama-c_20161101+silicon+dfsg-6.dsc
f6e0da2dbcb071585492db291f0a598a01b139a3 27652 frama-c_20161101+silicon+dfsg-6.debian.tar.xz
6e45b65c2a2d15c926e65529fb0f6102b9ae6633 1061764 frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb
49a07f00d68cff3ea707c306736182e2a686eb97 20012008 frama-c-base_20161101+silicon+dfsg-6_amd64.deb
653e5592c9c3f983d62fc2d6fbd71a23e2848eb1 1098488 frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb
d3c11c53675ebc121977026c5fe59eba4fd12582 13740 frama-c_20161101+silicon+dfsg-6_amd64.buildinfo
23086152dfd4b756f6b690ad9cc0afe524a4f734 10630874 frama-c_20161101+silicon+dfsg-6_amd64.deb
Checksums-Sha256:
ffaf3b390f68c97cb2c159dfaef26e4805b932fef2f98706a7f22055ef3645e9 2383 frama-c_20161101+silicon+dfsg-6.dsc
60eb36cd00aede7a82f17aa8285beb25df89b67bf00ef5ee32f5209a0c90e260 27652 frama-c_20161101+silicon+dfsg-6.debian.tar.xz
6f96aacccaad3f4176305f02b2ea51e88e56c836c26eacbcd87ec90b90f2709f 1061764 frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb
4e2e708b4ea9a5879c3c612fe8ffad3178078f51211ea96f0ca07ae4102f5273 20012008 frama-c-base_20161101+silicon+dfsg-6_amd64.deb
5d887505c41524fc6870619d57d04c68a252d0e8ef521c22bf617afc7de2951e 1098488 frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb
4cdb0febaa4478c5b70708d287aec945c307e7debcc3ac02c7a7f1bb4a869e1c 13740 frama-c_20161101+silicon+dfsg-6_amd64.buildinfo
04695fa7854471219663a169218ffc78718511c9864f24fb53db74a326e27af5 10630874 frama-c_20161101+silicon+dfsg-6_amd64.deb
Files:
c754649936251165f5cacd673216bb20 2383 devel optional frama-c_20161101+silicon+dfsg-6.dsc
67ea8d97e5317016ad06ffa744b7add8 27652 devel optional frama-c_20161101+silicon+dfsg-6.debian.tar.xz
4cee2f13f1774cd1cf0bf4567f24d943 1061764 debug extra frama-c-base-dbgsym_20161101+silicon+dfsg-6_amd64.deb
fd8147e88a910bf4cf7f8378d1a44c8d 20012008 devel optional frama-c-base_20161101+silicon+dfsg-6_amd64.deb
0d90b548d2c052149cd08840d266c27e 1098488 debug extra frama-c-dbgsym_20161101+silicon+dfsg-6_amd64.deb
499bd6eb84171a15b3618cf395c1515c 13740 devel optional frama-c_20161101+silicon+dfsg-6_amd64.buildinfo
64920a1bf74b6134df263452f1058eca 10630874 devel optional frama-c_20161101+silicon+dfsg-6_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAll6NYEACgkQeFPaTUmI
GtOswQ/+Ksk7Px1dtbFokeeFrQiiXs2KR1/pKlQVANBcsRPe9TQv7ULcwbVof4fc
OUadwFzpeaVyEF+o0FlVRz1xGjPtORISVBUDI3XPJGe+x23kFJvl3bm5mBeX3Jib
n/J0z4TOP7PpQVGeIF44MVuoFvJHYDdWdkhppEtvv9Yg6VQsniyDRlVC/CGDNuhh
QQ/kHqL4S9NLptZaxp9IMHwHKcC5tHnhGV7sAqabuvJUnMPQV38I2F12O9/sMIU/
Kd2zi1GvxzD5xgFw2MdjDraUIs3buHY75vaRpTJ2JQ29Kmn/Ne3B3heEP79lE3fG
bKJBjvSrVsjJhq5BYTmUK10oxNjY4RJgBF/6/hSwXhje7uJf7c8PX7vm20rJtXid
8yBfFdZOO0/x7y0Pr6UMxwynjEonOeo9DrCsyKaOWo0RqYfqSmipE1YLwhM9RDKQ
hE3Aua0h7Hu4FUxtwJinNArjOUfYb0jpCTQac4Es5Uo3iphxbJwFlshHyyT/0wfm
sn9vPX3I7YMuTV2PKMLZPEoqWtZzx3zh9JP17baAYIyxLxTqEq/nMO7oblp/D3GG
P0H6vur3djiRSB0DirNwyMDkF3YU0l6DGuEKOvpXgS1RAxY6NJzn2AIfJ9OElb4t
jgDe70UQZvP3O4pFg5WjCeLV4ewMcnX9aLa2GuDwWKTaONyXTOA=
=RZwN
-----END PGP SIGNATURE-----