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